Fixed embarrassing typechecking omission

Fixed MethDeclarations not ensuring that their bodies returned a type
that was a subtype of the return type.

Fixed (too many) tests to work with this.
Implemented (real) class closures