Generate debug symbols

[oridb]

Right now, we generate comments in textual assembly. This is very useful, and without data types information, makes it easier to debug than source level debugging.

Before debug symbols can land, it should be possible, in gdb, to type print var and have it show the right data type.