Add some basic test files for the type checker.
Update tests to be actual programs, not just expressions. Content
stays the same.