Add Pair data type (Tuple<,>). Start on List.
Implement is (as nested Pairs).