Improve debuggability of symbolic language
Ideas:
print
node
call
node
assert
node
cc
@mattwala