Bettre pretty-printing of evar maps, avoids printing universe information
for typeclass errors.
Small optimization in Cooking: do not construct identity substitutions.
Fix test-suite files according to new parsing rule for application of primitive
projections.
Fix elimschemes accessing directly the universe context of inductives (fixes test-suite
file HoTT_coq_089.v).