Rule: Sort imports, remove done TODO
New RefTags module, ExprRef replaces RefD, Rule phantom type param is def and not (RefData def)
RuleRef replaces RuleId. Rules' phantom type is (TagRule def)