V.D229 — Export E9: Self-Describing Closure

Exports Yoneda embedding, observer as internal functor, no regress, closure property.