Install the latest reduction-semantics.plt, which adds env, cl, vcl, V-, and k- to the grammar for the CEK machine. (V- is the same as V, except that it does not include X.)
Implement the CEK machine using reduction-semantics. Your CK machine is a good starting point.
Mail your completed cek.scm to mflatt@cs.utah.edu.