Version 0.2.0.0:

• Exact reference types are now bound by operators.

• New system of operators

• Standardized generic and strict reference types (Lens, Partial, ...).

• New predefined references.

Version 0.3.0.0:

• New, simpler operator interface

• Instead of using Template Haskell, a new type-level calculation based method is used for generating transitive type instances.