Fixing bug #3796.
Fix (actually, properly implement :) hashconsing of projections,
resulting in huge speedup at Qed/section closing in presence of
primitive projections.