Tuples

Coming soon… In the meantime, see the javadoc for TupleType.