Abstract base class for operators that are able to reduce to a constraint whether or not another syntactic element follows.