mhstructure also allows \vassign and \tassign

[kohlhase]

in this way mhstructure is exactly like the existing gstructure. And - like gstructure it should also import
the symbols into the current theory.
It occurs e.g. in .../MathHub/KwarcMH/SiSsI/source/winograd/cds/average-prognosis.tex. This should be very easy to fix by analogy.

shows the problem.

[kohlhase]

Also this error is the top error for my corpus.