(.module:
  [lux #*])

(type: #export Days
  Nat)

(type: #export Months
  Nat)

(type: #export Year
  Nat)

(type: #export (Period a)
  {#start a
   #end a})