Start on intergrating with type checker.