add check
add haskell prove
get basic two-step (parse & enact) getopts working
fix up tests
some tidy-up (including removing pre-enact types)
some tidy-up (including removing pre-enact types)
fix up for ghc 7.8.3+stackage
tidy up, comment, clean against ghc -Wall & hlint
tidy up, comment, clean against ghc -Wall & hlint