Build your own clarithmetic I: Setup and completeness (Logical Methods in Computer Science, 2017)