* Add support for some polymorphic operators (arithmetic, etc.)

* Extend to all other ops except Tuple, which is tricky (not quite sure where to get the needed type info)

* Some tidying(???) up

* Extend to handle Tuple op

* Slightly more descriptive macro name