Start typechecking method declarations and add self identifier to environment
Fix test
Fix find-method-in for self types
Typechecking for methods and objects should work now, with self being an identifier rather than a type
Add errors for undefined types in methods
Fix typechecking return statements and add method return types to the type env, fix subtyping for methods particularly
Redefine variables