Minor fixes.
Use monomorphic comparisons, little optimizations of hashconsing and
comparison in univ.ml.