Bounded and unbounded are not antonyms

It is currently possible to create a meaningless set of assumptions:

neither
```
    Dummy(zero=True, bounded=False) nor
    Dummy(zero=True, unbounded=True)
```
raise an error.

Further discussion is in the commit involving NaN.

- [ ] clean up S.in_Q discussion
- [x] change unbounded to infinite
- [ ] get good reference for definition of bounded (abs(x) < oo) and finite (0 < abs(x) < oo)
- [ ] what's the right answer for wester M24 test?
WA is giving the general infinite solution, which depends on an integer parameter `n` (because `2**k = exp(log(2)*k) = exp(log(2)*k + 2*I*pi*n)`).