0.1.1

• Define Setoid and Chain type classes

0.1.2

• Define Infimum and Supremum of Semilattice and Lattice type classes

0.1.3

• Define Semilattice type family
• Remove all prefix binary operators from type classes
• Define Semiring type class