The richness of agreement, which decides whether T can label.
Derives DecidableEq.
Used by agreementOf, Weak, instDecidablePredTokenWeak, IsLabeled, IsLabeledAtPhase, instDecidableIsLabeledAtPhase, categorizer_root_isLabeled, determiner_root_not_isLabeled, tBeta_isLabeled_iff, ex2, unaccusative_epp, expect_not_isLabeled, ex3