wrote dsl spec node types