The typecheck prompt in agda2-mode does not recognize agda2-mode's quail translations

### What did you expect to happen?

`agda2-mode` provides translations for many unicode characters via quail (e.g. `\bN` to form `ℕ`). These work perfectly fine in `agda2-mode` buffers. I expect these translations to also show up in the prompts that appear when requesting to typecheck or evaluate an expression (using `SPACE m d` and `SPACE m n` respectively).

### What actually happened?

The translations do not trigger in the prompt that appears when requesting to typecheck (or evaluate) an agda expression.

### Describe your attempts to resolve the issue

Couldn't find anything in other issues, or the discord. I did my best attempt to read through `agda2-mode`'s code to figure out what might be going wrong on `doom-emacs`'s side, but I am not familiar enough with e-lisp to do much.

### Steps to reproduce

1. Install `agda` on your computer (otherwise `agda2-mode` will not work)
2. Uncomment `agda` in `init.el` and sync, to get `agda2-mode` installed.
3. Open any `.agda` file and enter `agda2-mode`. A small example file might look like:
```
data 𝔹 : Set where
true : 𝔹
false : 𝔹
```
4. Load the file with `SPACE m l` (syntax highlights should appear at this point)
4. Press `SPACE m d` and attempt to type `𝔹` with `\bB`. It will not work.

### System Information

https://pastebin.com/BYixW3qx