- format_types(+Format:text, -Types:list) is det
- True when Format requires an argument list with terms of the type
specified by Types. The length of this list is the number of
arguments required. Each value of Types is a type as described by
has_type/2.