This package provides implementations for operators which impose constraints on elements visited by some access path.