Finished the type checker example.