Bettre pretty-printing of evar maps, avoids printing universe information
for typeclass errors.