Enhancement: Added support for constraining the type of the RHS of an assignment statement based on the expected type of the LHS.
Enhancement: Suppressed return type check for functions whose implementations consist only of "...".
Enhancement: Changed heuristic about whether to strip literal values from inferred class or instance member type. If it's not a constant or private member, I now use the more general type (not the literal).
Bug Fix: Changed tuple type expression evaluation to retain literals rather than strip them.
Bug Fix: Fixed recursion check that caused stack overflow during type evaluation.
Bug Fix: Removed assumption in type stub generation logic that __all__ assignment would appear after all imports in the file.