Incorporate @avsm's suggestions for Mirage framing.
State an aspiration about the ease of switching to cross-process bindings.
Link C function symbols to their definitions (suggestion by @dbuenzli).
Ascription for the `parser_struct` definition.
Be more careful with language when describing functor instantiation.