Fix thinko where List's type was used as its definition

* src/lparse.ml (lexp_p_infer_and_check): New function extracted
from _lexp_p_check.  Fix the "Some subst" case to return `e` rather than
its type.
(_lexp_p_check): Use it.