Qual.Term and Qual.Type are gone, Qual.Super is now Term.Super