Create Alg_bool.hpp