1. A compiler for Tamarin in pure COLA

2. A compiler for Tamarin in COLA (macro) + Tamarin

3. Pure Tamarin compiler