(.module:
  [library
   [lux "*"]])

(type: .public Days
  Nat)

(type: .public Months
  Nat)

(type: .public Year
  Nat)

(type: .public (Period a)
  (Record
   [#start a
    #end a]))