Is there a String Union Type of all HTML Element names? - Theo's Typesafe Cult