[krickle]

I first read about it on wingolog.org, and IIRC there was mention of an implementation of Guile using it. I think that supports your paper as evidence. Very cool technique, but I would rather give preference to integers and pointers.