Unify to project attributes on tuples in simple cases