multiplicities metamodels
multiplicities models
type checking constraints
Merge branch 'v0.3' of https://github.com/haslab/echo into v0.3