reorg recursive descent example into a single file
reorg pratt parser into single file
parser for type expressions
introduce explicit Tuple and Arrow variants