[Typer] [Git][monnier/typer][lambda-elab-error-message] 11 commits: * btl/builtins.typer (Eq_comm): Update FIXME