New type for the typechecker