Added more test-cases. The type checker has less bugs, but still buggy.