I don't particularly like highlighting the types here as "keywords". (E.g. the emacs mode doesn't treat them as special and it seems fine.)