Document introspection; "datum" -> "entry"; branches can have mixed children.