Move listRange theory into core HOL distribution.