Push initial version of first-class DSL spec.