stack.tupleize can now create instances of tuple subclass
Morphism composition checks for types compatibility