Merge branch 'feature/wp/field-simplifier' into 'master'

src/plugins/qed/logic.ml

src/plugins/qed/term.ml

src/plugins/wp/Lang.ml

src/plugins/wp/Lang.mli

src/plugins/wp/MemLoader.ml

src/plugins/wp/MemMemory.ml

src/plugins/wp/Plang.ml

src/plugins/wp/Stats.ml

src/plugins/wp/tests/wp_typed/loader.i

src/plugins/wp/tests/wp_typed/oracle/loader.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/loader.1.res.oracle

src/plugins/wp/tests/wp_typed/oracle/tuple.0.res.oracle

src/plugins/wp/tests/wp_typed/oracle/tuple.1.res.oracle

src/plugins/wp/tests/wp_typed/oracle_qualif/tuple.res.oracle

src/plugins/wp/tests/wp_typed/tuple.i

src/plugins/wp/wpContext.mli