Fleshing out the DSL definitions