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.