Cafe_DSL: Rework the `cafe-dsl` to the latest DSL