* src/debruijn.ml (lexp_ctx_cons): New fun. Test sanity of `offset`

(M): Alias for Myers, which we don't open any more.
(lctx_extend, lctx_extend_rec): New functions.
(env_extend): Use them.
* src/opslexp.ml (check): Use lctx_extend(_rec).