Truncated whitespace on strings

[ghost]

I lose the separating whitespace in the following, giving me uglier debug statements.

theory Bugs
extends root

show "hello " ++ string 'x ↦ x'

This outputs

** show (\Bugs:4): "hellox ↦ x"