[asl] Delay to runtime problematic values in constraint sets

[HadrienRenaud]

In ASL, division by zero or shift by negative values are dynamic errors.
However, what should happen when trying to apply such operation to a constraint set?

For example, what should be the type of c in:

var a: integer {4, 6, 8, 10};
var b: integer {0, 1, 2};
var c: a DIV b;

This PR says that the type of c, for the purpose of type-checking is the result of all non-faulting division between the constraints of a and the constraints of b, hence: integer {2, 3, 4, 5, 6, 8, 10}.
The removal of 0 from the right hand side of DIV is implemented here as a warning to the user.