Fix more universe-related issues:
Fix more universe-related issues:

 simplification_sigma1 was forcing an
equality and noconfusion was generating too weak principles

mattam82/Coq-Equations,mattam82/Coq-Equations