better cassava example
remove extraneous pragmas
fix applicative example
smallcheck exapmle
added lens family
added zoom example
vm example
fix some typos
simplify a bit
format uniformly
pipes example
simplify vm
hoas examples
formating
free monad examples
misc format fixes
added error handling files