Thanks, that's a reasonable explanation. I can see how storing every value in exactly one machine word and having the low bit always indicate whether a value is

Thanks, that's a reasonable explanation. I can see how storing every value in exactly one machine word and having the low bit always indicate whether a value is immediate or a pointer is a nice simple design.