Added thoughts on types in the context of localization, and a bunch of other notes.
Alphabetical, for no particular reason.
Some code size optimization.