Some bit of work (WIP).
- Added .ghci with simple rule for running tests.
- Started moving thebook.cabal into Setup.hs,
  as repeating dependencies is unwieldy.
- Qualified imports in Types.hs.
- Started thinking on how to write 'em rules.