Question: Unexpected behavior of define(orderless)

I have found an unpleaseant feature of the define command. 
@Carl Love
See below for the example. Basically, after declaring a function orderless via the define command, 
a simple use of Categorize stops working.  Details in the file. 

How can one define a function f(x,y) to be symmetric under interchange x<-> y

Please Wait...