Changed names re pairwise difference.
Started moving AssertionModel out of Interpretation. Implemented new
expression method in AssertionModel.