[e-acsl] refactor types for interval and typing

src/plugins/e-acsl/src/analyses/analyses_datatype.ml

src/plugins/e-acsl/src/analyses/analyses_datatype.mli

src/plugins/e-acsl/src/analyses/analyses_types.mli

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/analyses/interval.mli

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/e-acsl/src/analyses/typing.ml

src/plugins/e-acsl/src/analyses/typing.mli

src/plugins/e-acsl/src/code_generator/env.ml

src/plugins/e-acsl/src/code_generator/env.mli

src/plugins/e-acsl/src/code_generator/logic_functions.ml

src/plugins/e-acsl/src/code_generator/quantif.ml

src/plugins/e-acsl/src/code_generator/translate_ats.ml

src/plugins/e-acsl/src/code_generator/translate_terms.ml