Improve Mul printing
Improve Add printing
Finish the comparison function
Improve printing even further
Don't print the "1" at the beginning
XXX work on implementing a hash for Mul