Fixing injection bug #3616 on sigma-types.
Checking typability of evar instances. Using ";" to separate bindings
in instances.
Providing a -type-in-type option for collapsing the universe hierarchy.
Fixing synchronization of evar names table when merging evar_map.