Use short syntax for dfn types, "for", (no)export

This change:

* replaces all data-dfn-type=element, etc., attributes with ones
  literally named "element", etc.

* replaces all data-dfn-for attributes with ones named "for"

* replaces data-export="" and data-noexport="" attributes with
  value-less attributes named "export" and "noexport"