Defined natural isomorphisms as natural transformation with the added
property that each component is an isomorphism.  This closes #10.
Merge branch 'dev'