Bugfix: TypeRoleFillerRealis scoring order inconsistent with equals

For the moment, we disable sorting of the equivalence classes until
I track down the inconsistency between the equivalence class ordering
and .equals(). Unfortunately, this will make log output non-deterministic.