add new dropWhile constant to listTheory, and various lemmas