Represent tuples as OpPair call
Parametrize scalar representation by Parameter
Improve the Atomize typeclass