[Typer] [Git][monnier/typer][gambit] 8 commits: Merge branch 'source-object'