Add a simple ast validator and start a type checker with tests.