Started writing the type checker.