Define Interpretation API

[enikao]

In most advanced DSLs, we want to evaluate or "execute" models directly, i.e. without intermediate generation step.
Interpreters can be implemented in various ways, but usually have a very standard interface.

[dslmeinte]

I'd say we should have answers for reporting constraint violations, computing types, defining constraints before we do this one.

[enikao]

I'd say we should have answers for reporting constraint violations, computing types, defining constraints before we do this one.

Yes, I'm creating issues as "anchor" for future discussions.