In interesting scenarios, the debugger shows pretty much only that a value is "abstract"

[NTillmann]

We need a more meaningful visualization of values. Also, if not already the case, the simplifier should run on abstract values to possibly reduce them.