Enhancement: Handle the case where a function parameter with a type annotation that includes a generic (TypeVar) is assigned its value via a default argument rather than an explicit argument by the caller. The TypeVar should be matched using the default argument in this case.
Bug Fix: Fixed bug in parser where a single-element tuple atom used as a subscript index was handled incorrectly.
Enhancement: Added support for the multi-parameter form of the built-in "type" call.
Enhancement: When a class contains an `__init__` method whose input parameters are not annotated, generate a "pseudo-generic" class parameterized by the types of the init method's input parameters. This allows call-site specialization of the class, which provides better type checking and type completion suggestions.