I think
```syntax Name ::= "$h"````
should actually
```syntax Name ::= Token{$h}````
We should probably have a check in compile for this.