Remove [path_via]

Replace remaining uses of [path_via mid] with [transitivity mid; auto
with path_hints].