Thanks for the info.
Is the DSL only going to work with runtime checks then? Or can it also permit compile time checking?