[kernel] Unify types for symbol lookup context

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_data/globals.ml

src/kernel_services/ast_data/globals.mli

src/kernel_services/ast_printing/cil_types_debug.ml

src/kernel_services/ast_printing/cil_types_debug.mli

src/kernel_services/ast_queries/ast_diff.ml

src/kernel_services/ast_queries/cil_datatype.ml

src/kernel_services/ast_queries/cil_datatype.mli

src/kernel_services/ast_queries/logic_parse_string.ml

src/plugins/aorai/aorai_utils.ml

src/plugins/aorai/data_for_aorai.ml

src/plugins/dive/self.ml

src/plugins/eva/partitioning/partitioning_parameters.ml

src/plugins/impact/compute_impact.ml

src/plugins/instantiate/global_context.ml

tests/misc/add_assigns.ml

tests/spec/property_test.ml

tests/syntax/get_astinfo_bts1136.ml

tests/syntax/oracle/get_astinfo_bts1136.res.oracle