Utility module for retrieving types

`val add_pointer_to_typ : InferIR.Typ.t ‑> InferIR.Typ.t`
`val objc_classname_of_type : InferIR.Typ.t ‑> InferIR.Typ.Name.t`
`val is_class : InferIR.Typ.t ‑> bool`
`val return_type_of_function_type : InferGenerated.Clang_ast_t.qual_type ‑> InferGenerated.Clang_ast_t.qual_type`
`val is_block_type : InferGenerated.Clang_ast_t.qual_type ‑> bool`
`val is_reference_type : InferGenerated.Clang_ast_t.qual_type ‑> bool`
`val is_pointer_to_const : InferGenerated.Clang_ast_t.qual_type ‑> bool`
`val is_value : InferGenerated.Clang_ast_t.qual_type ‑> bool`