Add new skolem tyvars to the InteractiveContext after type reconstruction