TR: better keyword errors

Produces better errors when arities don't match up for a keyword function definition. I plan to make an equivalent change for optional argument functions too later.
I don't think so, since mandatory positional formals need to precede the optional ones. If we branch on that in `some-non-kw-formal` then the ordering has to be checked after-the-fact.