A tryout to specify discrete restriction using the  '>>' operator before the constraint. Constraints will be continuous by default when possible.