Finish typechecking for expressions and start typechecking method calls
Add more builtin methods
Finish typechecking method calls and implement most of find-method-in
Finish typechecking method calls, typecheck member accesses, and add more builtin methods
Fix typechecking of expressions to allow any operator on Dynamic