coqitem in itemize generates numbers

[JonasOberhauser]

It should create dashes.

I think the problem is here:
{\newcommand{\coqitem}[1][]{\stepcounter{enumi}\item[{\coqlink[#1]{\labelenumi}}]}}
This should be \labelitemi (for the outermost environment, in case it is in an itemize). In fact, it's probably wrong to use always i too. No idea how to make it context-aware.