Merge branch 'feature/kernel/monads' into 'master'

src/kernel_services/abstract_interp/lattice_bounds.ml

src/kernel_services/abstract_interp/lattice_bounds.mli

src/libraries/monads/composition.ml

src/libraries/monads/composition.mli

src/libraries/monads/list.ml

src/libraries/monads/list.mli

src/libraries/monads/monad.ml

src/libraries/monads/monad.mli

src/libraries/monads/option.ml

src/libraries/monads/option.mli

src/libraries/monads/result.ml

src/libraries/monads/result.mli

src/libraries/monads/state_monad.ml

src/libraries/monads/state_monad.mli

src/plugins/eva/api/values_request.ml

src/plugins/eva/contexts/context_product.ml

src/plugins/eva/domains/multidim/segmentation.ml

src/plugins/eva/domains/octagons.ml

src/plugins/eva/engine/evaluation.ml

src/plugins/eva/engine/transfer_stmt.ml