changed type of FOTerm.Classic.view;
enriched Monad.Opt
Transform and FormulaShape are back in logtk.base