Added tuples and pattern-matching to TT