remove constraint tracking in type checker state