Extracted code uses Coq Ascii internals

[palmskog]

Due to the VarD code using Ascii internals and the positive type for the string map, VarDRaft also gets them. Using Ascii internals is a code smell.