ConstSince TypedObject.properties is exhaustive, every key needs an entry even when it needs
no shorthand, merge or traversal. This is that entry. Prefer it over a fresh {} so the intent
('known, nothing to do') is explicit and the object is shared.
Declares a property as known without giving it any behavior - its value is taken verbatim.