Bug Fix: Suppressed "symbol is unbound" error when used in a del statement, since this is legal.
Enhancement: Enhanced --verifytypes command so it can now accept a module path within a package. Type analysis is limited to the specified module and its submodules.
Bug Fix: Fixed bug that caused "--verifytypes" feature to report missing return type annotations for all property getters within a class if only one of them was missing a return type annotation.
Enhancement: Added missing error logic to handle the case where a type variable is subscripted in a type expression. This isn't supported currently in the Python type system.
Enhancement: Improved signature help in case where right parenthesis is missing.
Enhancement: Added error for incorrect use of list expression for type arguments.