more cleanup and prove std_int_interprets_std_sig