[html] Issue: Type attribute for ordered lists should be obsolete but conforming marked as technical improvement

chaals has just labeled an issue for https://github.com/w3c/html as 
"technical improvement":

== Type attribute for ordered lists should be obsolete but conforming 
==
Since there is a stable property `list-style-type` in CSS with many 
available values, the values `1`, `a`, `A`, `i` and `I` correspondant 
to CSS properties `decimal`, `lower-latin` / `lower-alpha`, 
`upper-latin` / `upper-alpha`, `lower-roman` and `upper-roman` [should
 become obsolete but 
conforming](http://w3c.github.io/html/grouping-content.html#elementdef-ol).
The `type` attribute is currently 
[obsolete](https://www.w3.org/TR/html-markup/ul.html) for unordered 
lists.
There are [more styling 
options](https://www.w3.org/TR/CSS22/generate.html#list-style) for 
ordered lists in CSS than in HTML, such as greek alphabet or armenian 
numbering. Maybe more options could be added to the CSS spec (for 
instance, `upper-greek` is currently missing in CSS). 
Internationalization could be improved by providing certain 
language-specific CSS presets for ordered lists.

Please tell me if I made any mistake, this is the first issue that I 
post!

Cheers,
Rebeca Ruiz

See https://github.com/w3c/html/issues/341