Changes

Summary

1. merged
2. NEWS
3. more conversion from ( * ) to (*)
4. Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
5. expose locale_dependency information;
6. tuned signature;
7. tuned signature: more explicit types;
8. tuned;
9. tuned signature: prefer value-oriented pretty-printing;
10. tuned signature;
11. tuned signature: prefer value-oriented pretty-printing;
12. tuned (according to signature);
13. tuned comments: local context is intended according to 06fd1914b902 and documentation for command 'print_interps';
14. misc tuning and modernization;
15. more position information; tuned;
16. clarified message;
17. tuned signature: more explicit types;
18. clarified signature;
19. eliminated dead code (see b806a7678083);
20. tuned -- removed spurious dead code from 7b9a67cbd48f;
21. tuned signature: canonical argument order;
22. tuned signature; tuned comments;