linter.fugue.seqFocusPipe

Batteries' seq_focus notation is t <;> [t₁; t₂; …] (;-separated). CustomPrelude respells it t <;> [t₁ | t₂ | …] (|-separated) to pair with the project's other bracketed tactic lists. Deterministic — one right spelling.