Typechecker now uses new operators.