(.module: [library [lux #*]]) (type: .public Days Nat) (type: .public Months Nat) (type: .public Year Nat) (type: .public (Period a) {#start a #end a})