anchor.diff:    let typecheck tcenv decls =
       let ses, _, _ = FStar.TypeChecker.Tc.tc_decls tcenv decls in
       ses in
  +
  +  let rules =
  +    (match rules with
  +     | Some rules -> rules
  +     | None -> [FStar.TypeChecker.Normalize.Beta;
  +               FStar.TypeChecker.Normalize.Iota;
  +               FStar.TypeChecker.Normalize.Zeta;
  +               FStar.TypeChecker.Normalize.UnfoldUntil SS.Delta_constant])
  +    @ [FStar.TypeChecker.Normalize.Inlining;
  +       FStar.TypeChecker.Normalize.Eager_unfolding;
  +       FStar.TypeChecker.Normalize.Primops] in
   
     run_and_rewind st (fun st ->
       let dsenv, tcenv = st.repl_env in
  
positive.code:   | "full" -> FullCheck
    | _ -> js_fail "push_kind" s
  
  type query' =
  | Exit
  | DescribeProtocol
  
negative.code:     let args = assoc "query" "args" request |> js_assoc in
  
      let arg k = assoc "[args]" k args in
      let try_arg k =
        match try_assoc k args with
        | Some JsonNull -> None
        | other -> other in
  
      { qid = qid;
        qq = match query with
  