Dev/refactor

Use latest Frege
Don't compile for `:java` command