An Iterator walking the elements of a Tuple, from Tuple.left to Tuple.left, following Tuple.right chains.