Remove parameters from DateTime and make it fixed millisecond precision and ISOCalendar (similar to Date with Day precision). This is how DateTime was coded anyway (as seen by the minimal changes needed). I've introduced Timestamp which can be the fully parameterized type going forward.