Gödelian implementation of pairs. [2.5]
Refactor. [2.5]
Merge branch 'ex2.5'