Add TupleExp::e0