*/-++-commutes, replicate for JArrays, and fun syntax for J-like definitions