Add DSL for specifying property rules