generate smaller Theory.sig for ml_repl_step