Refactor to match makePrismsForCons
Isomorphism promotion for makePrisms

makePrisms will now create isomorphisms from single constructor data
types with tuples