Changed prime-factorization to use a map over prime-factors and multiplicity, golly I love this language