Assign types to fields and objects to restrict valid inputs…

Assign types to fields and objects to restrict valid inputs and operations before execution, making entire categories of error structurally impossible rather than detectable after the fact.