arrays
Used by the L2SimpleTranslator. It's fine that it's per-interpreter, since it doesn't have to perfectly canonicalize the arrays, just reduce greatly the amount of repetition of equivalent arrays. The key is a List, just to get the right equality and hash semantics.