Add basic end-to-end support for Literal types#5947

Michael0x2a merged 11 commits intopython:masterpython/mypy:masterfrom

Michael0x2a:add-preliminary-literal-types-semantic-logicMichael0x2a/mypy:add-preliminary-literal-types-semantic-logicCopy head branch name to clipboard