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.