use "primes" operator in prime factors example
small style improvements