Type mappings
Type mappings are expressions that will yield the corresponding
type in ``anvil.langยดยด.
The reason why they are here is that as these words are keywords they would
otherwise require preceding dollar ($) to promote them to ordinary symbols,
instead of keyword.
type-expr := ( "boolean" | "int" | "float" | "string" )
|