Progressiveness should happen elsewhere -- in income taxes and transfer payments. The road user charges can be regressive without making the whole system regressive.

If every part of the system needs to be progressive it's much more difficult to get the behavioural incentives you want.