rules: toElt/fromElt seems to type check now. Add same for Arrays.