anchor.diff:  
                            let objEnv =
                              match result with
  -                            | Value (ty, o) ->
  +                            | Value o ->
                                 let recTy = App (Def typedefof<Rec<_>>, [|ty|])
                                 match HashEqMap.tryFind recTy objEnv with
                                  | None ->
  
positive.code:                                 inner <| resolvedArg::resolvedArgs
                                        <| match resolvedArg with
                                            | Ruled _ -> rules
                                            | Value (_, value) ->
                                              RuleSet.maybeAddRules value rules
                                        <| objEnv
                                        <| args
  
negative.code:   type ObjEnv<'v when 'v : equality> = HashEqMap<Ty<'v>, obj>
  
    type Result<'v> =
      | Value of obj
      | Ruled of ty: Ty<'v> * args: array<Result<'v>> * rule: Rule<'v>
  
    let rec tryResolveResult objEnv tyEnv result =
  