pull out good_select_base_select as a separate theorem
prove is_bool_sig_extends and is_std_sig_extends