use default template parameter for Tuple2
Could change declaration of Tuple2 to this:
template<class T1, class T2 = T1>
class Tuple2
{
...
}:
This would make it simpler, less verbose to use something like Tuple2<label>
instead of Tuple2<label, label>
for places where we would normally use Pair<label>
but don't want the automatic binary output associated with Pair (inherited from FixedList).
Alternative? Derive Pair from Tuple2 ... not sure about that one.