    - member/1 (and its subrelations method/1, ...)
    - intertype/1  
    - advice/1
-   - type/1 (and its subrelations advice/1, class/1, ...).
+   - type/1 (and its subrelations aspect/1, class/1, ...).
 
    For retrieving the first enclosing entity of a specific kind, 
    see relations shadow-ancestor|method/2, shadow-ancestor|advice/2, ..."

    (equals ?kind AdviceKind/Before)))

(defn
  adviceafter
  "Relation of after advices."
  [?advice]
  (fresh [?kind]


(defn
  type-declaredsuper
  "Relation between a type and its super class (including java.lang.Object for aspects
   that do not declare a super aspect)."
  [?type ?super]
  (all
