Redefine how simple values and domains are modeled.
Add verbatim to Constraint
Make Simple abstract
Adapt pattern interpreters to metamodel with new modeling of Simple
constraints
Adapt variability extraction to new metamodel