documentation of the DSL
added TODO for leon