Add support for narrowing Literals using equality#8151

Merged

Michael0x2a merged 4 commits intopython:masterfrom

Michael0x2a:reachability-unify-equality-and-identity

Jan 8, 2020

Commits on Dec 25, 2019

Add support for narrowing Literals using equality
Michael0x2a
committed

Commits on Jan 7, 2020

Respond to code review; remove concept of 'partial' TypeMaps
Michael0x2a
committed

Commits on Jan 8, 2020