Added specs for DSL.