added predefined operators to typechecker