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, with each noun_instance as "$X" **
```

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.


That's the criteria used for creating partially abstracted representation.  Words that are only involved in one link needs to be abstracted (so funny@3333 become funny), while words that are in more than one links need a new instance (funny@3333 become funny@4444)