More fixes of unification with primitive projections (missed cases during the merge).
Obligations are not necessarily opaque.