Refactor cesk.ml into multiple files
Factor keywords
Factor state transitions
Factor push of continuations