Add some `Date`-related abstract operations