Implement typing overloads for (matrix) multiplication

[kylebarron]

Currently when performing multiplication and matrix multiplication, there is poor type hinting. Currently types are resolved as

Affine | NotImplementedType | tuple[Unknown, Unknown] | tuple[Unknown, Unknown, Unbound | Unknown] | Unknown

(the gray text is inlay hints, meaning those are the inferred types that the editor is showing)

With additional errors of:

Operator "*" not supported for types "Affine | NotImplementedType | tuple[Unknown, Unknown] | tuple[Unknown, Unknown, Unbound | Unknown]" and "tuple[Literal[5], Literal[6]]"
  Operator "*" not supported for types "tuple[Unknown, Unknown]" and "tuple[Literal[5], Literal[6]]"
  Operator "*" not supported for types "tuple[Unknown, Unknown, Unbound | Unknown]" and "tuple[Literal[5], Literal[6]]"Pylance[reportOperatorIssue](https://github.com/microsoft/pylance-release/blob/main/docs/diagnostics/reportOperatorIssue.md)

---

After this PR, types are inferred cleanly:

Happy to create tests for these if the PR sounds good and you want them. We could use https://github.com/davidfritzsche/pytest-mypy-testing