Started converting to purescript.
Restructuring and testing options.
Whole lot of changes.

Starting to take this more seriously.
Started with an algebra lib.
Should make everything much easier.
I'll know exactly what needs to be satisfied,
 in order for this thing to be a boolean algebra.
More show and changed and to be its own smart constructor without relying on semigroup.
MAde it a boolean algebra.
Associate.
assocLeft and assocRight.
distribute and commute.
Fixed identity and annihilator.
Restructure and use operators for better readability.
More smart constructors and a generate function.
Added some missing typeclasses and instances

Foldable, BiFoldable, BiFunctor
Renamed Op's to uppercase. Added some utilities.
MOved utils to their own module.
Lots of combinators.
Tried to start with a zipper.
Got the zipper working.
Update find.
Add BiTraversable instance.
Added some more movement.