Add some documentation and explicit vars

number -> integer
divisor -> candidate
factors -> primes