Remove the is_regular.hpp header