working out trivial compiler to haskell
removing for now (blocks are not trivial)
miscellaneous edits