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.
Whoops, that was supposed to also move to `annotate-syntax.rkt`.