Missed case in typechecker - method inference
Cleanup
Approaching 7KLOC...