Syntax:
(pair x y) -- Konstruktor (fst p) -- Destruktor (snd p) -- Destruktor
Semantik (Plan):
für alle x, y: (fst (pair x y)) == x (snd (pair x y)) == y
