Add perfect power handling.

Relatively naive, but servicable.
Move `Primes`s to a new file.
Move estimation to a new file.
Move standalone is_prime to a new file.
Move perfect power to a new file.