The date Module

type Date = type {
    year -> Number
        // the year, e.g., 2016
    month -> Number
        // the month, e.g, for 1 for January, 4 for April
    date -> Number
        // the day of the month, from 1 to 31
    day -> Number
        // the day of the week, e.g. 1 for Sunday, 1 for Monday
    hour -> Number
        // the hour of the day, e.g. 16 for 4 pm
    minute -> Number
        // the minutes past the hour, e.g. 49 for 4:49 pm
    second -> Number
        // the seconds past the minute, e.g. 32 for 4:49:32 pm
    asString -> String
        // a string representation of this date and time
    asDateString -> String
        // a string representation of just the date part
    asTimeString -> String
        // a string representation of just the time part
    asIsoString -> String
        // a string representation that complies with ISO 8601
    == (other:Date) -> Boolean
        // is self == to other?
    + (other:Date) -> Date
        // the sum of self and other
    - (other:Date)
        // the difference betweem self and other
    * (factor:Number)
        // the product of self and factor
}

milliseconds(n) -> Date
    // answers the time n milliseconds after the epoch 

seconds(n) -> Date
    // answers the time n seconds after the epoch

minutes(n) -> Date
    // answers the time n minutes after the epoch

days(n) -> Date
    // answers the time n days after the epoch

weeks(n) -> Date
    // answers the time n weeks after the epoch

timeZoneOffset -> Date
    // answers the offset between local time and UTC, as a Date.

now -> Date
    // answers the current date and time

fromString(dateString:String) -> Date
    // interprets dateString as a Date, and returns it.