`type accept_more`````

To be used in 'list_constraint

`type end_of_list`````
`type 'marker mtyp``= InferIR.Typ.t```
`type ('f_in, 'f_out, 'captured_types, 'markers_in, 'markers_out) name_matcher`````
`type ('f_in, 'f_out, 'captured_types_in, 'captured_types_out, 'markers_in, 'markers_out, 'list_constraint) template_arg`````
`type ('f_in, 'f_out, 'captured_types, 'markers_in, 'markers_out, 'list_constraint) templ_matcher`````
`module type Common : sig ... end`
`module type NameCommon : sig ... end`
`include sig ... end`
`module ProcName : NameCommon with type 'f dispatcher = InferIR.Typ.Procname.t ‑> 'f option`
`module TypName : NameCommon with type 'f dispatcher = InferIR.Typ.name ‑> 'f option`
`module Call : sig ... end`