(Under construction.)
operator not (b1, b2: Boolean) = Result: Boolean;
operator not (i1, i2: integer type) = Result: integer type;