Final DSL optimizations; DSL documentation