Typechecker done