Du hast völlig recht, danke für die Ergänzung. DOM 1 HTML sieht type noch als readonly an, DOM 2 HTML nicht mehr und das aktuelle HTML-DOM in HTML5 ebenfalls nicht.
Im Übrigen definiert HTML5 auch, was der Browser beim Ändern des Typs machen muss.
Mathias