Refined Factors module
- exchanged Int type for Integral typeclass
- redefined pfactors and ntfactors for clarity
- fixed guards on prime to ensure that `prime 1` returns False without having to calculate