Did some refactoring. Added a naive method to find all factors of a
given Element. Started on a way to more intelligently narrow that list
down to irreducibles.