Express constraints on every element of a list

[bmaclach]

Currently in Drasil, constraints can either be expressed as a Range, EnumeratedReal, or EnumeratedStr.

Another type of constraint we need to express are constraints that apply to every element of a list. For example, in SSP we have the constraint that every element in x_cs must be between x_slip^min and x_slip^max.

A universal quantification could be used to express this mathematically (but we don't have universal quantification captured in Drasil).

[JacquesCarette]

Like #1800 .