Added basic error handling for parser, added basic test cases.

Also, Parser now has basic error recovery, and there's a larger test file that demonstrates that in action (ErrorRecoveryTest.wys)

Type-Checking is now implemented and working correctly (or at least, no more tests are failing than were before)