Start type checker