Implement Mul._eval_is_infinite

Knowing is_finite is not enough to know is_infinite, as both can be False. I
have used the rule that any product of infinites is infinite.  This may cause
issues because of oo*0 == nan (currently nan.is_infinite is None, but we might
want it to be False).
Fix a typo