Frege 3.21.232 changes
Fix and revert to Eclipse compiler
Upgrade, Fix Frege/frege-repl#2