Avoid using Inverse_subst in core type checking

* src/lexp.ml (mkSLlub', mkSLsucc): New constructors with sanity checks.
(sunshift): New function.
* src/opslexp.ml (check'', get_type): Use it instead of Inverse_subst.