Tuple values

Also reworked the grammar so that types and values are differentiated, and so that subcases of expression can be differentiated.
I'm glossing over that for now only because it would require a little too much reworking of the semantics of `verify()`. Marking as to-do.