SharedTerm and Recognizer differ on what a tuple is

[eddywestbrook]

The functions scTuple, scTupleType, etc. in SharedTerm.hs build tuple types (tp1, ..., tpn) as right-nested pair where the last two types become their own pair type, while the recognizer functions asTupleValue, asTupleType, etc. in Recognizer.hs seem to expect the last type to be paired with a unit type on the right.

That is, the former converts (tp1, ..., tpn) to (tp1, (tp2, ... (tpn-1, tpn) ... )) whereas the latter seems to be looking for something of the form (tp1, (tp2, ... (tpn-1, (tpn, #())) ... )).