Test

Update `kore-syntax.md` with multiary `\and` syntax #6929

Job	Run time
Formatting and Style	1m 16s
Stack / Unit Tests	24m 57s
Nix / Integration	10m 2s
HLint	1m 39s
Nix / Unit Tests (ubuntu-22.04, ubuntu-22.04, x86_64-linux)	26m 28s
Nix / Unit Tests (MacM1, self-macos-12, aarch64-darwin)	13m 36s
	1h 17m 58s

Provide feedback