separate install and customisation sections
add Haskell implementation
fix cabal file
more type aliases
prepare for testing