Themes: augment theme schema with Skylighting attribute names
Themes: augment theme schema with Skylighting attribute names

This change also introduces an explict pattern match in
attrNameForTokenType to ensure that if Skylighting ever adds more token
types, GHC tells us with warnings due to unmatched patterns.

aisamanra/matterhorn,matterhorn-chat/matterhorn