improved finite scans: more abstract stopper; fixed source: now actually handles finite scans; tuned bulk;
improved finite scans: more abstract stopper;
fixed source: now actually handles finite scans;
tuned bulk;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle