remove practice of evaluating factorial as 0 for negative numbers

it is infinity for negative integers and remains unevaluated for non-integers. fix gosper test, which had a missing term.
fix string representations