Add a few syntactical TODOS
Add a few syntactical TODOS

Polymorphic syntax, bounded repetition syntax, and infinite repetition
syntax should look nicer using operators instead of constructors.

Zac-Garby/argtyper