Implemented 'to be finite' and 'to be infinite' assertions.
Merge pull request #11 from papandreou/finiteAndInfinite

Implemented 'to be finite' and 'to be infinite' assertions.