Update dsl-spec-general.md