started with new typechecker