adjust naming convention according to paper

Use the name "comp'" for the compiler that takes code continuations and
"comp" for the final compiler.