Value propagation: replace [Multi<V> *results] with [Addr results] in the declaration of eval() function. Add differs() function to tul_memory.cc.