Minor improvements:

- For consistent terminology, rename args_to_str() to termlist_to-str().
- In order to keep termlist_to_str() general, let its caller decide whether to
  use parentheses.
- Slightly simplify subst_to_str().
- Rename a test function.