Move to literate Haskell so we can start writing up the theory.