Disabling parallel test execution as it appears to be hanging up my tests
Added some failing tests
Implemented PeanoVal.le
Changed directions to play with addition rather than comparison