[gus_massa]

Implementing the numerical tower is not too difficult. There may be some problems to ensure fixnums are singletons and bignums are efficient, but it looks possible.

Tail calls and continuations are more difficult if you want them to be efficient.