add symbolic execution test.
reimplement debug type lookup in a cleaner way.

makes things much simpler.  most importantly, I added in a
'search' for global variables, so that we can figure out that the
user accessed an element of a larger array.