CUE's constraints are in the "middle" of the spectrum (lattice, partially ordered graph) from abstract types to concrete data.