mh, in H::T::Expr wird doch aber die Expression nicht als

geschrieben, sondern als

bzw


(gerade unsicher, welches von beiden das richtige ist) - das müsste doch gehen, die zeichenklasse, die für NAME gültig ist, könnte man ja festlegen - was davon abweicht wird erstmal als ausdruck behandelt.