Methods of the Date class

• Deprecated methods omitted
• Date class methods supply total ordering on Date objects
• Convert to scalar time measure
• Note that before/after not strictly necessary
  (Presumably introduced for convenience)