(.module:
  [library
   [lux {"-" [Source Module]}
    [world
     ["." binary {"+" [Binary]}]
     ["." file {"+" [Path]}]]]]
  [//
   [compiler {"+" [Compiler]}
    [meta
     ["." archive {"+" [Archive]}
      [descriptor {"+" [Module]}]]]]])

(type: .public Source
  Path)

(type: .public (Mediator !)
  (-> Archive Module (! Archive)))

(type: .public (Instancer ! d o)
  (-> (file.System !) (List Source) (Compiler d o) (Mediator !)))