fix int-valued variables for gr1c, robot_gr1_set working

- fix the definition of possible output values for an int-valued variable of gr1c
- fix definition of loc variable type in example and use gr1c solver
- extend evaluation of formulas to those that include operator = for int-valued variables