Remove redundant imports
Remove default-extensions from cabal file

(so that using ghci is more convenient)
Do not require OverloadedStrings on use site for TH stuff

(+ improve typing of the TH code)