Add Operand#resulting_type
Add Relation.dum