Function format_value_as_polydat_literal 

pub fn format_value_as_polydat_literal(v: &Value) -> String

Format a typed Value as a Polydat source literal.

Used when emitting final <name> := <literal> lines for per-iteration scope synthesis. Falls back to a quoted-display form for non-scalar variants (acceptable for iter-vars, which are scalar in practice).