Algebraic theories and super $C^\infty$-rings