Remove skolem tyvars from the InteractiveContext once they have been instantiated...