Fixed cabal metadata, extended internal plumbing.
Made hlint happier.
Reimplemented tableswitch/lookupswitch.
Fixed Monad instance for DFA