-Fact-bases now optionally keep an in-memory history. This affects insert!, delete!, change!, and load! operations as well as all rewind functions