Rework constraint expressions, normalization.
Working on normalization.

- Require that concept inlining occur before further
  normalizing subexpressions.