wraps Tuple
first : MeType.Expr
wraps Tuple.first
second : MeType.Expr
wraps Tuple.second
pair : MeType.Expr
wraps Tuple.pair