pub type Value = Gc<ValueData>;
A Garbage-collected Javascript value as represented in the interpreter