#5 "All X must (not) match Y" rules

[Paul Cantrell]

In addition to access rules, Macker needs a way of expressing rules of the form "classes matching pattern X must also match pattern Y". For example: "Subclasses of Enum must be named **Enum or **Type".