[Typer] [Git][monnier/typer][master] * src/opslexp.ml (check'', get_type): Fix context confusion