*   Added support for *GHC 8.0* by providing pattern synonym type signatures in
    the proper format.
*   `(:+/-)` pattern synonym now exported as a "constructor" with `Uncert`
*   Generalized the type signatures for `liftCX` functions to work for all `a`.
    Restriction to `Fractional` now occurs only at exit points of the `CVar`
    abstraction.
*   Removed the redundant constraint on `Functor m` for the *MonteCarlo*
    module's `liftUX` functions.