some work on making isomorphisms a type with different compositional logic