cleanup factorials and binomials
add wrapper for hurwitz zeta
more simple interfaces for zeta functions; implement functional equation