X10

Make collecting finish more flexible by allowing op(U,T)=>U as reduction