kore-repl mostly ignores pipes in aliases.

To reproduce:
test.k:

module TEST
  syntax KItem ::= "a" | "b"
  rule a => b
endmodule

proof.k:

module PROOF
  import TEST

  claim a => b
endmodule

kast.kscript:

alias konfig = config | sed 's/^.*$/hello/'
alias kfg = konfig | sed 's/^.*$/hello/'

command line:

kompile test.k --backend haskell && kprove proof.k --debugger --debug-script kast.kscript

Repl:

kfg

Note that:

1. kfg works in the repl, but would print an error without the --debug-script flag
2. kfg prints a normal configuration, not 'hello' lines, as it would be expected.
3. changing the last line in kast.kscript to alias kfg = konfig | aksdjf 's/^.*$/hello/' makes kfg print an error:

Kore (0)> kfg
Cannot find aksdjf executable.

That line is missing a 'the' before aksdjf, but, more importantly, it shows that the repl does not fully ignore the pipe, which makes this entire issue very confusing.

Start by reproducing the behavior with test.k, proof.k, and kast.kscript using the shown kompile and kprove command, then inspect the kore-repl alias handling entry point. Verify nested aliases preserve pipe commands, execute the sed stages, and report missing executables consistently.