starting type checker