Making commands (and maps) local to the buffer
Add :Coq execute query commands