[WIP] dsl spec