equality for arrays, s-array syntactic form, and tests
simplify primitives that no longer need to be wrapped