Type typeMod(Type t1, Type t2) { if (auto t = eval_const_divmod(t1, t2, cellMod)) return *t; return TInitPrim; }
Type typeDiv(Type t1, Type t2) { if (auto t = eval_const_divmod(t1, t2, cellDiv)) return *t; return TInitCell; }