Fixed 'divides' typechecking
Changed primes example to use for loops