experimenting with how to represent non terminals