R2L: all-rule complete package (both pre- and post-processing), version 1

Create `PredicateNode "allmarker"` with the `noun_instance` for post-processing.

In post-processing, bring in links that include `noun_instance` and structure them within the form:

```
ForAllLink
   VariableNode "$X"
      ImplicationLink
         InheritanceLink "$X" noun_instance
         AndLink
            ** links involving noun_instance **
```

Does not work with SuReal's r2l function yet, since this version still assume each links created by R2L are isolated (so I can find the root link by going to the node with no incoming set).  It also involves hypergraph deleting, which also won't work with SuReal's r2l.