move termination proof for inf_type_to_string earlier

unfortunately it still fails to go through the translator for some
reason