Create congruence paper stub

created from thesis, should contain all relevant text about congruence compression, excluding introduction and conclusion.