first patches

I ported to ghc, and am upgrading the prooftest to work, right now it parses the assumptions on the command line and prints out the tree.