Refined types for most HtmlElement factory constructors

tools/dom/templates/html/impl/impl_DocumentFragment.darttemplate

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of $LIBRARYNAME;
 
 $(ANNOTATIONS)$(NATIVESPEC)$(CLASS_MODIFIERS)class $CLASSNAME$EXTENDS$IMPLEMENTS {
   factory $CLASSNAME() => document.createDocumentFragment();
 
   factory $CLASSNAME.html(String html,
@@ skipping 44 matching lines @@
    *     var items = document.querySelectorAll('.itemClassName');
    *
    * For details about CSS selector syntax, see the
    * [CSS selector specification](http://www.w3.org/TR/css3-selectors/).
    */
   ElementList<Element /*=T*/> querySelectorAll/*<T extends Element>*/(String selectors) =>
     new _FrozenElementList/*<T>*/._wrap(_querySelectorAll(selectors));
 
 
   String get innerHtml {
-    final e = new Element.tag("div");
+    final e = new DivElement();
     e.append(this.clone(true));
     return e.innerHtml;
   }
 
   set innerHtml(String value) {
     this.setInnerHtml(value);
   }
 
   void setInnerHtml(String html,
     {NodeValidator validator, NodeTreeSanitizer treeSanitizer}) {
@@ skipping 37 matching lines @@
    * Alias for [querySelectorAll]. Note this function is deprecated because its
    * semantics will be changing in the future.
    */
   @deprecated
   @Experimental()
   @DomName('DocumentFragment.querySelectorAll')
   ElementList<Element /*=T*/> queryAll/*<T extends Element>*/(String relativeSelectors) =>
     querySelectorAll(relativeSelectors);
 $!MEMBERS
 }