Modal types

Where and how a modal sits is no longer a theme's invention but a written contract. You write five fields, the rest is derived; a new type needs no change to the core.