remove need for pounded () strings

[ModProg]

Idea is to:

1. add a flag to the internal format call to support mapping (( to ( and )) to ).
2. change collect_parenthesized to support )) and to support ) when inside
   a {} (this still needs to be figured out if it is unambiguously possible).