Two things:
1) I was reading here:
http://www.w3.org/html/wg/drafts/html/master/grouping-content.html#the-ul-element
and the "type" attribute for the <li> is not supported in HTML5 (confirmed here too).
So, how about change it and add some styling to the <ul> instead?
2) if 1. is okay, what about prune/alter some of them and/or add a numbered list type?
For example the # or the + may generate a:
list-style-type: decimal;
The current item codes are:
$itemcodes = array(
'*' => 'disc',
'@' => 'disc',
'+' => 'square',
'x' => 'square',
'#' => 'square',
'o' => 'circle',
'O' => 'circle',
'0' => 'circle',
);