[kanak]

> it's all implemented in terms of macros

This is not true at present. The core data structures, and the STM machinery are implemented in java, not as macros.