Start working on separating pairs from 2 tuples in Aiken

[MicroProofs]

This PR separates out pairs from 2 tuples in Aiken.

This removes confusion for different encodings of tuples based on length. This also allows for the user to flexibly choose between the trade offs of using pairs vs using 2 tuples.