Add extern for HTMLElement

There was only a mapping for HTMLHtmlElement which is the <HTML> tag.