Beanie is fully type annotated

[staticxterm]

Issue to track progress on adding or fixing type annotations in Beanie project.
The goal is to have Beanie fully (and correctly!) type annotated (where possible).

Issues at hand:

• Kwargs and args not type annotated (PR: Fix kwargs/args untyped #1049)
  Related issues:
  • Fix type annotations for find, find_one ([BUG] Type hint error on pylance #807), insert, save (kwargs issue), update (args, kwargs issue), save_changes ([BUG] Pylance: Every .save(), .insert(), .update() operation reports Argument missing for parameter "self" #864), replace ([BUG] Incorrect type annotations for Document's insert, save and replace #679), delete_all ([BUG] Pylance strict mode: type of "delete_all" is partially unknown #769 - kwargs issue), insert_many (kwargs issue) methods.
• Add full type annotations to:
  • beanie/executors/migrate.py
  • beanie/migrations/controllers/free_fall.py
  • beanie/migrations/controllers/iterative.py
  • beanie/odm/operators/update/general.py (ref: [BUG] Mypy Strict fails with call to untyped function "Set" in typed context [no-untyped-call] error #946)
  • beanie/odm/operators/find/comparison.py (leftover from Add missing type signature to BaseFindComparisonOperator constructor #925)
• Fix Generic type annotations (Type, Dict, Mapping etc):
  • beanie/odm/union_doc.py (cls._document_models and doc_model Generic typing)
  • beanie/odm/fields.py (issues in Link class)
• Fix Document.id annotation to support any custom user-supplied type that is BSON serializable (refs: Wrong Document.get type hint #314, [BUG] Mypy:: Type error: base class "Document" defined the type as "Optional[PydanticObjectId]" #336)
  Related: [improvement] Allow overiding of id field for typechecker #60, to be decided if implementation should provide a custom Protocol type that other types should subclass, in order to pass Pydantic serialization/deserialization use cases.

Work in progress, more issues/categories to be added.