// "some" and "every" have no ordering constraints
Optimizer opt = visitor.getConfiguration().getOptimizer();
sequence = ExpressionTool.unsorted(opt, sequence, false);
SequenceType decl = getRequiredType();
SequenceType sequenceType = SequenceType.makeSequenceType(decl.getPrimaryType(),
StaticProperty.ALLOWS_ZERO_OR_MORE);
RoleLocator role = new RoleLocator(RoleLocator.VARIABLE, getVariableQName(), 0,
visitor.getConfiguration().getNamePool());
role.setSourceLocator(this);
sequence = TypeChecker.strictTypeCheck(