Description: Extends class notation with the class of geometries fulfilling the congruence axioms.
class TarskiGC