Implemented a bunch of tests, added some things to make quickcheck happy