type -> rule_type