Revoke invalidated facts from database during editing #7

This is feasible because we switched to the top-down implementation. It might even be possible to cache datalog queries, but I need to think about this some more.