Pp compiles after feedback
Pp: only one default feedback id
STM: print goals with no duplicates
Fix treatment of notations containing applications of projections (fixes bug #3454).
Fix bug #3453, not recognizing primitive projections in Coercion declarations.
Add test-suite file for bug #3453
Fix eta-conversion code which was failing in nested cases. Fixes bug #3429.
Rework code for refolding projections in whd_state/whd_simpl to allow Arguments
Specifications indicating that the record object must be a constructor. Fixes bug #3432.