0.1.1

• Define attached destructor for Product datatype
• Define empty destructor for Stack structure
• Replace flip on ? type operator
• Remove type parameter from Stack type synonymous
• Split structure and value in Nonempty type family
• Define Invariant instance for Constant datatype
• Remove all Invariant methods except invmap
• Extract Junction module from Basis

0.1.2

• Define Pipeline control flow paradigm
• Split Structure modules on Property and Concrete
• Define Hollow type class for handling empty structures
• Extract Nonempty into a separated module
• Define Graph concrete structure
• Define infix :-. type operator for Lens
• Define Object instances for Product datatype