- anything that is unknown (encodes with a zero-width) must also
  be a sign to stop, since we can't say anything more.

  Currently these are still trigged by lists (tagged as 'scalars'),
  since we don't yet have a way to get their widths.