add a final dsl spec