Merge branch 'release/3.1.0' into develop
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.
perms
ver bump
Merge branch 'release/4.0'