Evaluator to WHNF seems to be working. TODO: throughout evaluation GC should have the correct root set.