infix operators
add TODO
add L,R tags to runtime
remove TEOF from lex.rkt
constructor patterns turn out to be harder than I thought, document the problem