Add eval-tc (equivalent of eval but for CompilerTc)