Whether the two IR expressions are the same Pure: origins aside, number literals by value, bound variables and lets by position ({x | $x.a} is {row | $row.a}), an expression's JSON as the IR it reads to, a sort's one key alone or in a list, one column alone or in a list (~a, ~[a]), an enumeration's short path as its full one, and the engine's own functions by their short names.