refactor(typing): Tighten type annotations across internal modules and cmd/git

refactor(typing): Tighten type annotations across internal modules and cmd/git #3087