@safety bags for utfMatchers

Granularity is horribly high. Auto-inference for templates has the
downside that it, leaves no explanations or reasons for failure.