anchor.diff:              if ty = typeof<int> then Val (I (value :?> int))
               elif ty = typeof<single> then Val (F (value :?> single))
               else failwith "Unsupported value type."
  +        | Patterns.NewArray (_, items) ->
  +            Subqueries (List.map Subquery.unquote items)
           | Patterns.Let (var, q, q2) -> 
               Let (var.Name, Subquery.unquote q, Subquery.unquote q2)
           | Patterns.IfThenElse (predicate, consequent, alternative) ->
               If (Subquery.unquote predicate, Subquery.unquote consequent, Subquery.unquote alternative)
  +        //| Patterns.Lambda (var, body) ->
  +        //    match body. with
  +        //    | Patterns.
  +        //    Fun (var, )
           | Patterns.Call (_, info, args) ->
               match (info.Name, args) with
               | ("at", [arg; arg2]) -> At (Subquery.unquote arg, Subquery.unquote arg2)
  +            | ("GetArray", [arg2; arg]) -> At (Subquery.unquote arg, Subquery.unquote arg2)
               | ("head", [arg]) -> Head (Subquery.unquote arg)
               | ("tail", [arg]) -> Tail (Subquery.unquote arg)
               | ("not", [arg]) -> Not (Subquery.unquote arg)
  +            | ("intersects", [arg; arg2]) -> Intersects (Subquery.unquote arg, Subquery.unquote arg2)
               | ("op_Equality", [arg; arg2]) -> Eq (Subquery.unquote arg, Subquery.unquote arg2)
               | ("op_LessThan", [arg; arg2]) -> Lt (Subquery.unquote arg, Subquery.unquote arg2)
               | ("op_LessThanOrEqual", [arg; arg2]) -> Le (Subquery.unquote arg, Subquery.unquote arg2)
  
positive.code:             | (false, _) -> Err "Non-existent term."
          | Fun fn ->
              fn terms
  
      static member evalMany (terms : Map<string, Term>) (subqueries : Subquery seq) =
          let mutable result = true
  
negative.code:     | ByName of string * string
      | ByType of string * Type
      | Fun of (Map<string, Term> -> Term)
      | Subqueries of Subquery list
  
      static member eq term term2 =
          match (term, term2) with
  