Modified the install processes to once again use a bootstrap mechanism.
Fixed several issues with the installation process involving permissions.
Fixed an issue with the install scripts preventing the of2lp std files from being installed.
Fixed an issue with the debug compile mode preventing the DEBUG macro from being defined.
Added the 'unless' clause to nonexecutable, exogenous, default, always, and incremental rules.
Added the 'afValue' sort as a synonym for the additiveInteger sort.
Cleaned up the call commands so they're more clear.
Fixed an issue where constants dynamically declared in an unless clause and used later were seen as undefined.
Fixed an issue causing constants declared dynamically in the 'unless' clause to not behave properly when used later in the program.