bump eslint and increase strictness

[DetachHead]

fixes #66

blocked by microsoft/vscode-eslint#1997

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

sympy (https://github.com/sympy/sympy)
-   .../projects/sympy/sympy/sets/handlers/functions.py:173:5 - warning: Type of "F" is unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/sets/handlers/functions.py:173:5 - warning: Type of "F" is partially unknown
+     Type of "F" is "Unknown | Expr | Any | Piecewise | Self@Add" (reportUnknownVariableType)
-     Argument corresponds to parameter "args" in function "imageset" (reportUnknownArgumentType)
-   .../projects/sympy/sympy/sets/handlers/functions.py:175:28 - warning: Argument type is unknown
-   .../projects/sympy/sympy/sets/sets.py:1079:9 - warning: Type of "left_open" is unknown (reportUnknownVariableType)
-   .../projects/sympy/sympy/sets/sets.py:1080:9 - warning: Type of "right_open" is unknown (reportUnknownVariableType)
-   .../projects/sympy/sympy/sets/sets.py:1083:17 - warning: Type of "a" is unknown (reportUnknownVariableType)
-   .../projects/sympy/sympy/sets/sets.py:1537:21 - warning: Argument type is partially unknown
+   .../projects/sympy/sympy/sets/sets.py:1537:21 - warning: Argument type is unknown
-     Argument type is "Generator[Unknown, Unknown, None]" (reportUnknownArgumentType)
-     Type of "rootof" is "(f: Unknown, x: Unknown, index: Unknown | None = None, radicals: bool = True, expand: bool = True) -> (Unknown | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr)" (reportUnknownVariableType)
+     Type of "rootof" is "(f: Unknown, x: Unknown, index: Unknown | None = None, radicals: bool = True, expand: bool = True) -> (Unknown | One | NegativeOne | Zero | Integer | NaN | ComplexInfinity | Rational | Expr)" (reportUnknownVariableType)
-     Type of "nsimplify" is "(expr: Unknown, constants: Unknown = (), tolerance: Unknown | None = None, full: bool = False, rational: Unknown | None = None, rational_conversion: str = 'base10') -> (Integer | Unknown | NaN | ComplexInfinity | Rational | Zero | Infinity | NegativeInfinity | Float | Number | Expr | One | NegativeOne)" (reportUnknownVariableType)
+     Type of "nsimplify" is "(expr: Unknown, constants: Unknown = (), tolerance: Unknown | None = None, full: bool = False, rational: Unknown | None = None, rational_conversion: str = 'base10') -> (Integer | Unknown | NaN | ComplexInfinity | Rational | Zero | Infinity | NegativeInfinity | Float | Number | Expr)" (reportUnknownVariableType)
-     Type of "fu" is "(rv: Unknown, measure: Unknown = lambda x: (L(x), x.count_ops())) -> (Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType)" (reportUnknownVariableType)
+     Type of "fu" is "(rv: Unknown, measure: Unknown = lambda x: (L(x), x.count_ops())) -> (Unknown | Expr | ComplexInfinity | NaN | Rational)" (reportUnknownVariableType)
-     Type of "trigsimp" is "(expr: Unknown, inverse: bool = False, **opts: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType)" (reportUnknownVariableType)
+     Type of "trigsimp" is "(expr: Unknown, inverse: bool = False, **opts: Unknown) -> (Any | Unknown | Expr | Basic | atan2 | ComplexInfinity | NaN | Rational)" (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/fu.py:41:5 - warning: Return type, "ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr | Unknown", is partially unknown (reportUnknownParameterType)
+   .../projects/sympy/sympy/simplify/fu.py:41:5 - warning: Return type, "ComplexInfinity | NaN | Rational | Unknown", is partially unknown (reportUnknownParameterType)
-   .../projects/sympy/sympy/simplify/fu.py:53:9 - warning: Return type, "ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr | Unknown", is partially unknown (reportUnknownParameterType)
+   .../projects/sympy/sympy/simplify/fu.py:53:9 - warning: Return type, "ComplexInfinity | NaN | Rational | Unknown", is partially unknown (reportUnknownParameterType)
+   .../projects/sympy/sympy/simplify/fu.py:56:20 - warning: Return type, "ComplexInfinity | NaN | Rational | Unknown", is partially unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/fu.py:59:20 - warning: Return type, "ComplexInfinity | NaN | Rational | Unknown", is partially unknown (reportUnknownVariableType)
-   .../projects/sympy/sympy/simplify/fu.py:62:12 - warning: Return type, "ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr | Unknown", is partially unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/fu.py:62:12 - warning: Return type, "ComplexInfinity | NaN | Rational | Unknown", is partially unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/fu.py:492:20 - warning: Argument type is unknown
+     Argument corresponds to parameter "rv" in function "TR8" (reportUnknownArgumentType)
-     Argument type is "tuple[(rv: Unknown) -> Unknown, (rv: Unknown) -> (ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr | Unknown), (rv: Unknown) -> (Expr | Unknown), (rv: Unknown) -> (Unknown | Expr | TrigonometricFunction), (rv: Unknown) -> Unknown, (rv: Unknown, max: int = 4, pow: bool = False) -> Unknown, (rv: Unknown, max: int = 4, pow: bool = False) -> Unknown, (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr | Add | Basic | Dict), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown, base: Unknown | None = None) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, half: bool = False) -> (Unknown | Expr), (rv: Unknown) -> Unknown, (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown) -> (Unknown | Pow | Expr), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow)]" (reportUnknownArgumentType)
+     Argument type is "tuple[(rv: Unknown) -> Unknown, (rv: Unknown) -> (ComplexInfinity | NaN | Rational | Unknown), (rv: Unknown) -> (Expr | Unknown), (rv: Unknown) -> (Unknown | Expr | TrigonometricFunction), (rv: Unknown) -> Unknown, (rv: Unknown, max: int = 4, pow: bool = False) -> Unknown, (rv: Unknown, max: int = 4, pow: bool = False) -> Unknown, (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr | Add | Basic | Dict), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown, base: Unknown | None = None) -> (Unknown | Expr), (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown, half: bool = False) -> (Unknown | Expr), (rv: Unknown) -> Unknown, (rv: Unknown, first: bool = True) -> (Unknown | Expr), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow), (rv: Unknown) -> (Unknown | Expr), (rv: Unknown) -> (Unknown | Pow | Expr), (rv: Unknown, max: int = 4, pow: bool = False) -> (Unknown | Pow)]" (reportUnknownArgumentType)
-   .../projects/sympy/sympy/simplify/fu.py:1578:5 - warning: Return type, "Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType", is partially unknown (reportUnknownParameterType)
+   .../projects/sympy/sympy/simplify/fu.py:1578:5 - warning: Return type, "Unknown | Expr | ComplexInfinity | NaN | Rational", is partially unknown (reportUnknownParameterType)
-     Type of "rv" is "ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType | Expr | Unknown" (reportUnknownVariableType)
+     Type of "rv" is "ComplexInfinity | NaN | Rational | Unknown" (reportUnknownVariableType)
-     Type of "has" is "((*patterns: Unknown) -> bool) | Any | Unknown" (reportUnknownMemberType)
+     Type of "has" is "((*patterns: Unknown) -> bool) | Unknown" (reportUnknownMemberType)
-     Type of "has" is "Unknown | ((*patterns: Unknown) -> bool) | Any" (reportUnknownMemberType)
+     Type of "has" is "Unknown | ((*patterns: Unknown) -> bool)" (reportUnknownMemberType)
-     Type of "has" is "Unknown | ((*patterns: Unknown) -> bool) | Any" (reportUnknownMemberType)
+     Type of "has" is "Unknown | ((*patterns: Unknown) -> bool)" (reportUnknownMemberType)
-     Type of "rv" is "Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType" (reportUnknownVariableType)
+     Type of "rv" is "Unknown | Expr | ComplexInfinity | NaN | Rational" (reportUnknownVariableType)
-     Argument type is "list[Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType]" (reportUnknownArgumentType)
+     Argument type is "list[Unknown | Expr | ComplexInfinity | NaN | Rational]" (reportUnknownArgumentType)
-   .../projects/sympy/sympy/simplify/fu.py:1666:12 - warning: Return type, "Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType", is partially unknown (reportUnknownVariableType)
+   .../projects/sympy/sympy/simplify/fu.py:1666:12 - warning: Return type, "Unknown | Expr | ComplexInfinity | NaN | Rational", is partially unknown (reportUnknownVariableType)
-     Argument type is "Unknown | Expr | ComplexInfinity | NaN | Rational | Zero | Infinity | NegativeInfinity | Float | _NotImplementedType" (reportUnknownArgumentType)
+     Argument type is "Unknown | Expr | ComplexInfinity | NaN | Rational" (reportUnknownArgumentType)

... (truncated 2579 lines) ...