move dropWhile stuff to HOL