Infer.Subst -> Infer.AppliedPiResult. CompositeTag prevention.
More correct TypedValue Show instance