RFC add/change highlighting for some more code elements

Added highlighting for some default types.

Added regexes and a face for some constructors

Let modules have their own face.  I made a new face but had it keep the same face as before, so that it can be customized.  I think modules and types ought to be shown differently.

The regex attached to `7 font-lock-` seems to capture both type definitions and modules, and I haven't thought about how to separate the two yet.