fix typo
validate before infering
simple inference for reify/deftype
simple validation for methods