add str-many etc.
partial work
remove stuff
add lexer
remove monoidness from parse-monoid, rename to parse.rkt