anchor.diff:                       +term-term-type-ge+
                        +term-term-type-not+
                        +term-term-type-contains+
  +                     +term-term-type-is-empty+
  +                     +term-term-type-has-fields+
                        +term-term-type-any+
                        +term-term-type-all+
                        +term-term-type-var+
  
positive.code:       (typep object 'hash-table)
        (is-function object)
        (is-term (list +term-term-type-get+
                       +term-term-type-implicit-var+
                       +term-term-type-var+
                       +term-term-type-getattr+
  
negative.code:                      +term-term-type-table-drop+
                       +term-term-type-foreach+
                       +term-term-type-funcall+
                       +term-term-type-branch+
                       +term-term-type-info+)
                 object)))
  
  (defun is-string (object)
  