some work on making isomorphisms a type with different compositional logic
moved to paket based packages for build
perms
Merge pull request #7 from kolektiv/develop

Isomorphisms changed to first class types, own compositions.