A reason for an inferred bound. This can either be
CondReason if the bound
is due to a specific condition, or
NoReason if the bound is inferred
without going through a bounding condition.
Gets a textual representation of this reason.