Add code to be able to validate, canonicalize, and HTMLiffy names, and adapt the code in various places to make use of these. Still not uniquing names yet.