Continued overhauling exception handling.

The most significant revisions here are arguably to @{call_stack/output},
implementing conversion of arbitrary call stack indices to styled output.
Naturally, even this implementation isn't quite complete. (But we are
ominously limping there.)