Implement meet for literal types; add tests for 'is_same_type'#6043

Michael0x2a merged 4 commits intopython:masterpython/mypy:masterfrom

Michael0x2a:implement-literal-types-meetMichael0x2a/mypy:implement-literal-types-meetCopy head branch name to clipboard