Rename [] to List (#21294)

This patch implements a small part of GHC Proposal #475.

The key change is in GHC.Types:

- data [] a = [] | a : [a]
+ data List a = [] | a : List a

And the rest of the patch makes sure that List is pretty-printed as [] in various contexts.