initial commit: manual definition of set_T, in_T and out_T for T in {bool, ind, fun_ind_bool}, all for a signature defining only bool, functions, and ind