Fix call-cc and first test for the continuation monad