[api] Move `Vernacexpr` to parsing.

There were a few spurious dependencies on the `Vernac` AST in the
pretyper, we remove them and move `Vernacexpr` and `Extend` to parsing,
where they do belong more.

1 files changed, 2 insertions, 2 deletions

diff --git a/META.coq b/META.coq
index 3414ccbd40..12d7666cb0 100644
--- a/META.coq
+++ b/META.coq
@@ -131,10 +131,10 @@ package "interp" (
 
 package "grammar" (
 
-  description = "Coq Base Grammar"
+  description = "Coq Camlp5 Grammar Extensions for Plugins"
   version     = "8.8"
 
-  requires    = "coq.interp"
+  requires    = "camlp5.gramlib"
   directory   = "grammar"
 
   archive(byte)   = "grammar.cma"