A collection of compilers from the IR of language-arithmetic to other IRs