[Hugs] #40: type/constructor namespace bug