Reals

Adds support for real numbers. Depends on fixpoint/reals. See [tests/pos/RealProps.hs](https://github.com/ucsd-progsys/liquidhaskell/blob/37a7fd6d3a2f6b303d0c0a599130739652bd1d6b/tests/pos/RealProps.hs).