fix up Racket->Coq translation to allow calls to functions
only in binds

and fix up make_array_naive
remove noise