fixes strange error messages for invalid generic method definitions

`generic-arity-coerce` checks whether a method implementation is a procedure and has the correct arity (for real this time)