Put trait names in global namespace, issue errors appropriately

[DenialAdams]

Right now it's very special cased, better to get on top of this now