Clarify and clean up the interface to EquivClassTables.