anchor.diff:          match (term, term2) with
           | (I i, I i2) -> B (i < i2)
           | (F f, F f2) -> B (f < f2)
  +        | (S s, S s2) -> B (s < s2)
           | (Cmp c, Cmp c2) -> B (c.CompareTo c2 < 0)
           | (Terms terms, Terms terms2) ->
               if terms.Length = terms2.Length then
  
positive.code: 
      static member eval (terms : Map<string, Term>) (subquery : Subquery) : Term =
          match subquery with
          | Is subquery ->
              match subquery with
              | Val v -> match v with Err _ as err -> err | _ -> B true
              | Var v -> B (terms.ContainsKey v)
              | _ -> B true
          | Of (subquery, label2) ->
              match Subquery.eval terms subquery with
              | Label label -> B (strEq label label2)
              | Labels labels -> B (labels.Contains label2)
              | Err _ as err -> err
              | _ -> Err "Label check on non-label(s)."
          | Eq (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | ((Err _ as err), _) -> err
  
negative.code: 
      static member eq term term2 =
          match (term, term2) with
          | (B b, B b2) -> B (b = b2)
          | (I i, I i2) -> B (i = i2)
          | (F f, F f2) -> B (f = f2)
          | (V3 v, V3 v2) -> B (v3Eq v v2)
          | (Box3 b, Box3 b2) -> B (box3Eq b b2)
          | (S str, S str2) -> B (strEq str str2)
          | (Cmp c, Cmp c2) -> B (c = c2)
          | (Arb o, Arb o2) -> B (objEq o o2)
          | (EcsEntity entity, EcsEntity entity2) -> B (genEq entity entity2)
          | (Pair (termFst, termSnd), Pair (termFst2, termSnd2)) ->
              match Subquery.eq termFst termFst2 with
              | B b ->
                  if b then
                      match Subquery.eq termSnd termSnd2 with
                      | B _ as b -> b
                      | Err _ as err -> err
                      | _ -> failwithumf ()
                  else B false
              | Err _ as err -> err
              | _ -> failwithumf ()
          | (Terms terms, Terms terms2) ->
              if terms.Length = terms2.Length then
                  let mutable errOpt = ValueNone
  