[cvs-nhc98] Introduced specially marked lonely Sats

olaf: Tue May 8 19:29:21 CEST 2001 Update of /usr/src/master/nhc/src/prelude/PreludeDebug In directory hinken:/tmp/cvs-serv1861/src/prelude/PreludeDebug Modified Files: HatArchive.hs PreludeDebug.hs Log Message: Introduced specially marked lonely Sats Sats that don't come with a preceding application or name have the bit with value 8 set. This shall enable hat-detect and hat-observe to show reductions correctly and not be confused by applications/names without Sats that a followed by an unrelated Sat by chance. Small changes in many files. The SatB stack and the SatC queue need additional entry for the sort of a caf (lonely or not).