[Typer] [Git][monnier/typer][master] * src/typecheck.ml (check): Handle Susp and Call