move equal_impl and less_impl