Prepared the typechecker to be able to deal with method resolution and such.