reshaped Rule:
- Exp -> Nomex
- meta rules are expressed in the return type of RuleFunc