The object ProjectiveVariety is a type, with ancestor classes Variety < MutableHashTable < HashTable < Thing.