Re: [Hugs] #40: type/constructor namespace bug