Add a second RulesTest for the types resolver to verify correctness.