fixed some bugs that came up while testing integer theory.. Working my way through the theorems. I might make a textrenderingvisitor for pretty printing nodes of our ast