As a precursor #639, we need to remove all references to `Undefined` in the mypy implementation, tests, stubs and other source files in the repository.