Use latest Frege, refactor, enhancements

Use latest Frege
Refactor
Enable warnings and hints
Describe definitions
Fix sandbox
Enable code folding in Java Source view