Started type checker