Transformed meta-interpreter bindings

The bindings of the environment in the meta-interpreter now use mutable-cons-cells instead of regular ones. This change had to be made since the tracing interpreter is written in Racket for the moment, which doesn't allow us to use set-car! and set-cdr! on regular cells.