Redid .cabal file such that test suites can access source code. Many changes to file structure, and a minor syntactic change in the type checker due to cabal complaints.
Removed old testing files.