update tests
testing support for Eq(x,x,evaluate=True|False)

I think this is not quite right, b/c doit() doesn't collapse it to true