Initial cut at bug 535086 - pertypewithin and non vis types

Initial cut at bug 535086 - pertypewithin and non vis types

In this version unless you specify an aspect is privileged then the
pertypewithin clause will not match types not visible from the aspect
(private types or default vis types in another package)

Debating whether to change this to not require privileged.