Correctly define operators in types.h