add DSL.md