mit solchen Paaren kann man im Prinzip alles ausdrücken, z. B. Listen durch syntactic sugar:
(list []) --> #u (list (x:xs) ) --> (pair x (list xs))
