anchor.diff:          |> ignore
   
       ParenthesisNode
  -        |=> Implements [Node]
  +        |=> Inherits Node
           |+> Instance [
               Constructor Node
   
  
positive.code:         |> ignore
  
      ArrayNode
          |=> Implements [Node]
          |+> Instance [
              Constructor !| Node
  
  
negative.code:         |> ignore
  
      IndexNode
          |=> Inherits Node
          |+> Instance [
              Constructor (!| Node * !? T<bool>)
  
  