Frege compiler and runner