anchor.diff:  * <<testing,testing>>
   * <<types,types>>
   * <<ctors,constructors and co-constructors>>
  -* <<axioms,axioms>>
  +* <<axioms,structural axioms>>
   * <<keys,Keys, keychains, keylinks, dogtags>>
   * <<kinds,kinds>>
   * <<autogen,autogenned ids>>
  
positive.code:      (= (ds/kind k) (keyword (.getKind k))))
  ----
  
  .TODO: documentation
  ****
  *Key interface:*
  
negative.code: ** ds/name
  ** ds/id
  ****
  
  == [[fields]] field types
  
  