Add an option to solve typeclass goals generated by apply which can't be
catched otherwise due to the discrepancy between evars and metas.
Consistent pretty-printing of primitive projections and their expanded forms.
Finish fixes on notations and primitive projections, add test-suite files for closed bugs