Begin syntax and semantics
dsldi proposal submitted