2.0 sprint planning

[KotlinIsland]

I would like 2.0 to have:

• Re-add strict mode and add a non-strict option #282
• Publish the docs on github pages #260
• better heuristics for baseline matching #134 (at least some improvement)
• Update pypi page with some more features #390
• default_return should default to true (do better) #296
• unsafe variance ignore leaves spurious notes #444
• typeshed: remove typing sins from re.Match.groups #446
• tuple literal types #458
• Deprecate python 3.7 #457
• rename 'nested generics' to 'generic bounds' (or something) #465

based on mypy 1.4.1

RC1: 6/7/2023
final: 7/7/2023