Operators

Actual type checking for operators, not explicitly defined - not allowed. Also: macros for compilation of operators.