add bool.hpp
add concatMap
add ord.hpp