Express lanes tagging

Yes, see this previous discussion:

Technically, that would be correct, though routers are more likely to understand hov=designated in the case where the entire roadway is for HOVs only. Think of *:lanes as the syntax for varying the value from one lane to another.