List and dict literals with explicit types not documented

The mypy language overview should mention list and dict literals with explicit types, for example:

```
names = <str> []  # Equivalent to str[] names = []
counts = <str, int> {}  # Equivalent to dict<str, int> counts = {}
```
