Fix constrMatching as well as change/e_contextually to allow
matching partial applications of primitive projections. Fixes bug #3637.