pub fn validate_value(ty: &VarType, value: &str) -> Result<(), String>
Validate that a concrete string value conforms to a declared type. Returns a human-readable reason on failure.