Did some general code cleanup in type evaluator including shortening …

[erictraut]

…names of some variables and functions for readability.

[github-actions[bot]]

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅