Only thing left is the typechecker