This tidies up the inscope handling for tcUnifyTyWithTFs. Deals with #21896 (closed).
tcUnifyTyWithTFs