* src/lexp.ml: Move the type info of metavars from lexp to metavar_info

(lexp): Don't carry the type of metavars any more.
(scope_length): New type.
(metavar_info): Rename MLevel to MVar and add type and ctx information.