micro-optimize Str.trans
smaller scope in ListIter.reify