updating verbose
bugs fixed
enabling constant foloding at symbol decl
activating interactive mode