potential performance issue caused by ADT namespace

[Roger-luo]

from here:

https://github.com/JuliaLang/julia/discussions/48883#discussioncomment-5362818

I don't quite understand why, but this seems to be an issue for us overloading getproperty on Type. I think either we need to find a way to use a different syntax or we have to bare the cause of this.