Tuple values

Also reworked the grammar so that types and values are differentiated, and so that subcases of expression can be differentiated.
Just adds a little step in formal verification :smile: Again, this is fine for now. But I have a grand vision.