Bootstrapping
1. A compiler for Tamarin in pure COLA
2. A compiler for Tamarin in COLA (macro) + Tamarin
3. Pure Tamarin compiler