Added a contract-reduce wrapper class for pair-tile reduction.
Added an initial summa unit test.