Update booleans.hpp