rename Rule -> RuleInfo, RuleFunc -> Rule
type signatures
meta rules