Moved contents of src to src/main.
Work in progress on quickcheck.