Implement a smooth transition from the current rewriting rules to new ones, which use precomputed arenas

[Kukovec]

The transition should be done in two steps:

1. Introduce the precomputed arena as an unused argument passed to all of the rewriting rules
2. One-by-one, replace rewriting rules, such that they just consume the precomputed arena, instead of computing it on the fly
   1. In the interim, compute cells in both ways, and validate that the on-the-fly arena is actually a subset of the precomputed one.