Change license to BSD3
Minor changes in cabal
~ Move pp executable to examples
Add type synonyms.