Support Aliasing

[dyoder]

We can make our wildcards even more powerful by allowing aliasing. This avoids the problem where we can only have a single hierarchy. Instead, we can view namespaces as closer to interfaces (or categories).

Implementing this would require a further enhancement to our wildcard equality, where we also check any aliases. In turn, this would require rules to somehow include a list of aliases and to be incorporated into the comparison, which presently just accounts for the values being compared.