style: Fix all mypy errors and add type hints to untyped function bodies

feat(proxy control): Force a proxy at request level at any given point

feat(spiders): The option to start sessions lazily

feat(spiders system): a prototype of the new spiders system