Two flavors of literal types

[basarat]

Widening and non-widening microsoft/TypeScript#11126

Need to add docs here https://github.com/basarat/typescript-book/blob/master/docs/types/literal-types.md 🌹