hmm, i can see how
replace(({ 1,2,3, }), ({ 2 }), ({ 17 }));
is not clear whether it is to replace 2 or ({2}), but
replace(({ 1,2,3, }), ([ 2:17 ]));
should be unmistakeable. currently it leads to an error, but i think it can be made to work.
greetings, martin.