got a working Racket-level version of the linear version of make_array

and added a version of zipWith3 specialize to the bt node constructor
going in Coq