prove equality
AddrOf
better pointer support
debug output
fix signs
fix
handle boolean subexpressions