Objects of this type are created by detectCongruence.
The object CongruenceOfCurves is a type, with ancestor classes HashTable < Thing.