Start filling out the type checker.