Added some example libs for Haskell backend.
No longer used because QuickCheck backend is now a separate backend with own package
Started refactoring of the QuickCheck backend.