"real mind-twister" hack

With some trickery, you can even implement atoms with property lists, type safe but dynamically typed of course. See the code below. (Warning: the implementation of properties is a real mind-twister, using a folklore trick to implement dynamics using references and functions that I learnt from Daniel de Rauglaudre, although it's been reinvented independently quite a number of times.)