[ConstraintElim] Use enum class to differentiate fact/check types (NFC).

Use an enum to clarify the type of fact or check in FactOrCheck, as
suggested in D158837.