Change a Notation into an alias

It doesn't need to be a keyword, and this lets us redefine "unit_name",
should we ever want to.
Merge pull request #132 from JasonGross/notation-to-alias

Change a Notation into an alias
Merge branch 'master' of https://github.com/HoTT/HoTT