Fixed several bugs in type constraint engine.
Improved performance of VS Code extension by increasing analysis batch time.
Added assignment type constraint for instance and class variables.
Fixed special-case type checking rules for int and float.
Fixed handling of type annotations that involve generic classes with no type variables (e.g. "list").