Turn on ROBOT's multiple_equivalent_classes check

[hoodcm]

Part of #5.

Check	Data checked	Why
multiple_equivalent_classes	Logical axioms	A class has at most one equivalent class.

ROBOT's standard check, at its default level (WARN). Nothing on main fails it, so no data changes. All tests pass.