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.


Humm... that's the create-abstract stuff from a previous commit...

Anyway, a non-instanced word is just this
```
InheritanceLink
    ConceptNode funny@33333
    ConceptNode funny
```
The second "funny" is not instanced, so I call it an non-instanced word.  Is there an official name for that?