DSL module creates type-correct DAG.