Pitch: Allow functions with default arguments to fulfill protocols

[ethanjdiamond (Ethan Diamond)]

Since this reception seems positive, I've written up a proposal here:
XXXX-protocols-vs-default-arguments. All feedback welcome.