More refactoring, added new ReducedFreelist (not yet active, though)