“Optional static typing is supported by a number of different third-party type checkers.”