Added isomorphism lenses

Fixes issue #9