Add unwanted files to .gitignore
Extend the typechecker to cover class definitions and instances.