Fixed problems uncovered by warnings.
Deleted an unused extension.
Revamped the cabal file.