The object ProjectiveNumericalVariety is a type, with ancestor classes NumericalVariety < MutableHashTable < HashTable < Thing.