[Typer] [Git][monnier/typer][master] * src/lparse.ml (lexp_check_decls): Provide previous defs during elab