The `toDate()` function works on DateTimes, but I think we underspecified how this happens exactly. The corresponding CQL documentation refers to the `date from` operation, but also here, it is unclear whether we extract the date from the datetime in the current timezone of the DateTime, or whether we need to convert it to Zulu first - since the Date has no timezone offset, I think we need to be clear about this.