"this function takes x arguments but y arguments were supplied" shouldn't be fatal

[pcwalton]

Instead it should go on and typecheck the rest of the function.

[msullivan]

Doing this is a little ugly since you still need to go typecheck the argument expressions, but still not hard.