updated for new Frege runtime and compiler