add a proof_type_to_str
change