Sample of what JSON might look like
Tweak `make-node` args and `INonterminal` default implementation
First pass at entity sort and instance declarations

(WIP)
Note to self
I can hardly believe it, but it works

Now I just need to clean up the code, comment it, test it, and finish
all those other features and examples I wanted. No sweat.