Tuple values

Also reworked the grammar so that types and values are differentiated, and so that subcases of expression can be differentiated.
I don't like it, but as long as you have a demo ready for us by tomorrow, you get carte blanche.