Refactor hyperexpand.py

Clean up sympy.simplify.hyperexpand and refactor it more symbolically.

In particular, this turns IndexPair objects into symbolic representation of hypergeometric functions.