Some cosmetic changes mostly to hnat

More changes/additions to hnat to follow soon. 
On 12/16/2014 03:33 AM, Vladimir Voevodsky wrote:
> 
> I am not sure how it happened. They both should go to uu0b. It
> somehow happened when I was resolving the conflicts. Could you please
> put them back? I am not sure where to find them.

No problem, I have filed a PR against your branch.