Rules:
(1) All built-in types should have names consisting of only lower case
letters.
(2) Only very common computer science names should be abbreviated.
These abbreviations should be noted in the abbreviations list above.
The only example of this is uneval (short for unevaluated).