    - 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, ..."


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

;todo: there are also advice kinds that cannot be declared, but are used by the weaver (see AdviceKind)

(defn
  advice|before 
  "Relation of before advices."
  [?advice]
  (fresh [?kind]
