Various doc updates, mostly about list[t] etc. (#9936)
Use the new generic built-in type syntax (list[t] etc.) in the cheat sheet,
getting started and built-in types sections. Most examples still use the old
syntax, but this at least introduces the new syntax early on.
Also other minor documentation tweaks.
