[Typer] [Git][monnier/typer][master] * src/lparse.ml (_lexp_expr_str): Typecheck the expressions