Added remaining dependencies to simpl.cabal
Implemented makeshift toplevel.