include HTMLElement.Impl({type t = DomTypes.htmlProgressElement})