Pitch: Allow functions with default arguments to fulfill protocols

Evolution Pitches
4

This brings back some memories...