more uniform simproc_setup: avoid vacuous abstraction over morphism, which sometimes captures context values in its functional closure;

clarified output of embedded values, e.g. for 'print_locale';

tuned: more antiquotations;

tuned;

tuned signature: more position information;

tuned;

Finally, the abstract metric space development

merged

misc tuning and clarification;

tuned signature;

tuned;

tuned --- Token.make_string / Token.assign are value-oriented;

more documentation;

tuned signature;

tuned signature;