[jhc] Re: darcs patch: the great HsName refactoring. get rid of... (and 3 more)