* src/lparse.ml (_lexp_p_infer) <Parrow>: Also add anon vars to lctx

* src/debruijn.ml (ectx_extend_anon): New function.

* src/lparse.ml (_type_shift): Remove function.
(_lexp_p_infer) <Parrow>: Also add anonymous vars to lctx.