procedure -- r7rs Type
§

Sub-types tree
§

Super-types
§

Sub-types
§

Sub-types recursive
§

Referent definitions as input
§

Predicate
§

procedure?

Categories
§

Categories recursive
§