Basic cabal infrastructure.
Add Main.hs.
Add first incomplete spec.