's unified symbolic architecture immediately allows it to perform structural transformations not only on objects like lists, but also on general symbolic expressions that can represent concrete or abstract data of any kind.
flatten out nested functions (associativity)
thread a function over lists or other constructs
sort elements of an expression (commutativity)
flatten particular elements
apply distributivity to nested functions
join expressions together