Add the implementation of the CK machine.
Display the steps of the reduction