Next step, for every combination of ValueType op ValueType, i need to write down (as code) what it means.