Type check frees namespace