fn typeset_to_string(ts: &TypeSet) -> String