Pretty cool. But with my proposal, you could write that in Arc itself.
My solution is general... it works on all compound data types: tables, input, lists, etc.
Imagine being able to write cons, car, cdr, instring, peekc, readc, and more, all in Arc! It drastically cuts down on the number of primitives Arc needs.