• Kim is described here: Language Desgin Consistency by Curtis "Ovid" Poe
• Unified declarations, of the style name : kind = statement, are described here: Declarations and aliases - cpp2

Goal of this issue: shake things up a bit, ask "what if?" on already-established declaration forms in Alma, and kind of just see what breaks.