Use more descriptive names for type variables of Strict.
Add 'lazy = from strict' isomorphism.