Implement the norm DSL