an attempt at some progress to make the Racket=>Coq generation work