Ugh, this sounds like it’s going to end up with a combinatorial explosion of newtypes for each rule+type :S