- prolog_type(?Tag:int, ?PrologType:atom)// is semidet[private]
- Match Tag (field number) + PrologType.
When Type is a variable, backtracks through all the possibilities
for a given wire encoding.
Note that 'repeated' isn't here because it's handled by single_message//3.
See also segment_type_tag/3.