Loops: refactored the way tuples are connected across ops
Loops: output needed tuple paths in replaceClosureBody
Loops: templatized TuploidValue to separate Symbol and TermName cases
Loops: retain type info of tuploids