[Typer] [Git][monnier/typer][simon-genier] 44 commits: * src/env.ml (BI): Use `Z` rather than `Big_int`