store a signature in Meta.Prover, so that
theory and axioms types can be printed by detect_theories