Sorting

Commutative lists are now sorted.  Additionally a bug in equality testing is fixed and some additional functions have been added in Experimental to help with inspecting atoms.