Added compile instance for WithProb
Added correct version for the IfThenElse (basic case) compile instance
Added class Jumpable