Fix local notations in `bi/embedding`.

We had the following problem:

Lemma embed_emp_2 : emp ⊢ ⎡emp⎤.
(* prints emp ⊢ embedding.embed emp *)

This only happened in the embedding file due to Local Notation. The problem is that elaboration adds bi_car, but then it no longer pretty prints.