Fix bug #3563, making syntactic matching of primitive projections
and their eta-expanded forms succeed, potentially filling parameter
metavariables from the type information of the projected object.
Add test suite files for closed bugs.
Add test-suite file for Case derivation on primitive records.