Update topdown to support new set operations

Also, update arithmetic tests to exercise infix operators.