Add support for pure continuation-based mode for Frege