Updated to latest version of Frege compiler

So much nicer Java Interop.