This commit was made before your comment regarding quadratic number of code changes. For now, the right way to do this is to use ```Token{"$h"}``` instead of ```"$h"``` and write a kompiler pass to check it. The special case for KLabelIndex and TokenIndex won't be necessary then. The only special case is TopIndex and, thus, there will be no quadratic number of code changes.