Grammatical instances for 2- and 3-tuples
no more Text builder
more concise type encoding (still human-readable, i hope)