More work on parser and fixed a bug in the type checker. Also added a test file with a small Findus program.