Fix bug #3656.

Maintain the user-level view of primitive projections,
disallow manual unfolding and do not let hnf give the eta-expanded
form.