Using the type EqClass should cause a triple with BaseClass to be added.