Expand description
User-facing rendering of contract data structures.
Converts ContractPlace, ContractExpr, NumericPredicate, PropertyArg
and Property into readable strings for reports and debug output. Kept
separate from the data model (types.rs) so the model stays
presentation-free.