Improve debuggability of symbolic language

Ideas:

• print node
• call node
• assert node

cc @mattwala