[Typer] [Git][monnier/typer][master] * src/opslexp.ml (check'): Fix handling of erasable datatype args.