add rest of the dsl specs