Splits 'Atom' type into more specific subtypes.
Adds string literals into the language.