anchor.diff:              match terms.TryGetValue termName with
               | (true, term) ->
                   match term with
  -                | Intra (_, ty)  -> B (refEq ty ty2)
  -                | Extra (_, ty, _) -> B (refEq ty ty2)
  +                | Intra (_, ty)  -> Bool (refEq ty ty2)
  +                | Extra (_, ty, _) -> Bool (refEq ty ty2)
                   | Err _ as err -> err
                   | _ -> Err "Invalid ByType target; Intra or Extra required."
               | (false, _) -> Err "Non-existent term."
  
positive.code:             match terms.TryGetValue termName with
              | (true, term) ->
                  match term with
                  | Intra (compName, _)  -> B (strEq compName compName2)
                  | Extra (compName, _, _)  -> B (strEq compName compName2)
                  | Err _ as err -> err
                  | _ -> Err "Invalid ByName target; Intra or Extra required."
              | (false, _) -> Err "Non-existent term."
  
negative.code:             | (term, term2) -> Subquery.le term term2
          | If (predicate, consequent, alternate) ->
              match Subquery.eval terms predicate with
              | Bool b -> if b then Subquery.eval terms consequent else Subquery.eval terms alternate
              | Err _ as err -> err
              | _ -> Err "Invalid If predicate; B required."
          | GetX subquery ->
              match Subquery.eval terms subquery with V3 v -> Single v.X | Err _ as err -> err | _ -> Err "Invalid GetX argument; V3 required."
          | GetY subquery ->
              match Subquery.eval terms subquery with V3 v -> Single v.Y | Err _ as err -> err | _ -> Err "Invalid GetY argument; V3 required."
          | GetZ subquery ->
              match Subquery.eval terms subquery with V3 v -> Single v.Z | Err _ as err -> err | _ -> Err "Invalid GetZ argument; V3 required."
          | GetPosition subquery ->
              match Subquery.eval terms subquery with Box3 box -> V3 box.Position | Err _ as err -> err | _ -> Err "Invalid GetPosition argument; Box3 required."
          | GetSize subquery ->
              match Subquery.eval terms subquery with Box3 box -> V3 box.Size | Err _ as err -> err | _ -> Err "Invalid GetSize argument; Box3 required."
          | Intersects (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (Box3 box, Box3 box2) -> Bool (box.Intersects box2)
              | (V3 v, Box3 box) | (Box3 box, V3 v)-> Bool (box.Intersects v)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid Intersect arguments."
          | Or (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (Bool b, Bool b2) -> Bool (b || b2)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid Or arguments; two B's required."
          | And (subquery, subquery2) ->
              match (Subquery.eval terms subquery, Subquery.eval terms subquery2) with
              | (Bool b, Bool b2) -> Bool (b && b2)
              | ((Err _ as err), _) -> err
              | (_, (Err _ as err)) -> err
              | (_, _) -> Err "Invalid And arguments; two B's required."
          | Not subquery ->
              match Subquery.eval terms subquery with
              | Bool b -> Bool (not b)
              | Err _ as err -> err
              | _ -> Err "Invalid Not argument; B required."
          | Val term ->
  