anchor.diff:  and p_typeDecl pre = function
     | TyconAbstract (lid, bs, typ_opt) ->
       let empty' : unit -> document = fun () -> empty in
  -    p_typeDeclPrefix pre lid bs typ_opt, empty'
  +    p_typeDeclPrefix pre false lid bs typ_opt, empty'
     | TyconAbbrev (lid, bs, typ_opt, t) ->
       let f () = jump2 (p_typ false false t) in
  -    p_typeDeclPrefix pre lid bs typ_opt, f
  +    p_typeDeclPrefix pre true lid bs typ_opt, f
     | TyconRecord (lid, bs, typ_opt, record_field_decls) ->
       let p_recordFieldAndComments ps (lid, t, doc_opt) =
         with_comment (p_recordFieldDecl ps) (lid, t, doc_opt) (extend_to_end_of_line t.range)
  
positive.code:       str "#light \"off\""
  
  (* TODO : needs to take the F# specific type instantiation *)
  and p_typars bs suffix = p_binders true bs suffix
  
  and p_fsdocTypeDeclPairs kw (typedecl, fsdoc_opt) =
    let decl, body = p_typeDecl (kw, fsdoc_opt) typedecl in
  
negative.code:   | QForall (bs, trigger, e1)
    | QExists (bs, trigger, e1) ->
        prefix2
          (soft_surround 2 0 (p_quantifier e ^^ space) (p_binders true bs) dot)
          (p_trigger trigger ^^ p_noSeqTerm ps pb e1)
    | _ -> p_simpleTerm ps pb e
  
  