Add some traits which tell the return type of each operator
Test operator_op_result traits