exactly as binop nodes, conjmp nodes should overwrite the types of its operands