rewrite part of the core in rust?

[c-cube]

see ocaml-rs

OCaml would compile complex patterns down to a lower level rewriting machine (with backtracking)