Added some more exercises, and patched unittest.ss for real-eq