k3ocaml: handled |, which conflicts with {|...|} (bag)

It's left-recursive, so is a pain to do