Starting to spec-out the module's DSL