(.using
 [library
  [lux (.except Module)]]
 [/
  [descriptor (.only Descriptor)]
  [document (.only Document)]])

(type: .public ID
  Nat)

(def: .public runtime
  ID
  0)

(type: .public (Module a)
  (Record
   [#id ID
    #descriptor Descriptor
    #document (Document a)]))