Module for Type Error messages.

`module type InstrRefT : sig ... end`
`module InstrRef : InstrRefT`
`module Strict : sig ... end`
`type origin_descr``= string * InferBase.Location.t option * InferModules.AnnotatedSignature.t option```
`type parameter_not_nullable``= InferModules.AnnotatedSignature.annotation * string * int * InferIR.Typ.Procname.t * InferBase.Location.t * origin_descr```
`type err_instance````=`

`|` `Condition_redundant of bool * string option * bool`
`|` `Inconsistent_subclass_return_annotation of InferIR.Typ.Procname.t * InferIR.Typ.Procname.t`
`|` `Inconsistent_subclass_parameter_annotation of string * int * InferIR.Typ.Procname.t * InferIR.Typ.Procname.t`
`|` `Field_not_initialized of InferIR.Typ.Fieldname.t * InferIR.Typ.Procname.t`
`|` `Field_not_mutable of InferIR.Typ.Fieldname.t * origin_descr`
`|` `Field_annotation_inconsistent of InferModules.AnnotatedSignature.annotation * InferIR.Typ.Fieldname.t * origin_descr`
`|` `Field_over_annotated of InferIR.Typ.Fieldname.t * InferIR.Typ.Procname.t`
`|` `Null_field_access of string option * InferIR.Typ.Fieldname.t * origin_descr * bool`
`|` `Call_receiver_annotation_inconsistent of InferModules.AnnotatedSignature.annotation * string option * InferIR.Typ.Procname.t * origin_descr`
`|` `Parameter_annotation_inconsistent of parameter_not_nullable`
`|` `Return_annotation_inconsistent of InferModules.AnnotatedSignature.annotation * InferIR.Typ.Procname.t * origin_descr`
`|` `Return_over_annotated of InferIR.Typ.Procname.t`

``

Instance of an error

`val node_reset_forall : InferIR.Procdesc.Node.t ‑> unit`
`type st_report_error``= InferIR.Typ.Procname.t ‑> InferIR.Procdesc.t ‑> InferBase.IssueType.t ‑> InferBase.Location.t ‑> ?⁠field_name:InferIR.Typ.Fieldname.t option ‑> ?⁠origin_loc:InferBase.Location.t option ‑> ?⁠exception_kind:(InferBase.IssueType.t ‑> InferIR.Localise.error_desc ‑> exn) ‑> ?⁠always_report:bool ‑> string ‑> unit```
`val report_error : InferIR.Tenv.t ‑> st_report_error ‑> (InferIR.Procdesc.Node.t ‑> InferIR.Procdesc.Node.t) ‑> err_instance ‑> InstrRef.t option ‑> InferBase.Location.t ‑> InferIR.Procdesc.t ‑> unit`
`val report_forall_checks_and_reset : InferIR.Tenv.t ‑> st_report_error ‑> InferIR.Procdesc.t ‑> unit`
`val reset : unit ‑> unit`