Reworked introduction, revised prefixes, and first examples