Define the syntax of callcc : callcc takes an argument which is the
current continuation. TODO : evaluate the call of callcc