SQLite: Translate more DateOnly and TimeOnly members

[bricelam]

In addition to adding the corresponding TimeOnly translations listed in issue #18844, here are some additional members we could translate:

.NET	SQL
DateOnly.FromDateTime(dateTime)	date($dateTime)
date.ToDateTime(time)	$date || ' ' || $time
TimeOnly.FromDateTime(dateTime)	time($dateTime)
TimeOnly.FromTimeSpan(timeSpan)	$timeSpan
time.Add(timeSpan)	time(ef_days($time) + ef_days($timeSpan))
time.IsBetween(start, end)	ef_days($time) BETWEEN ef_days($start) AND ef_days($end)
time.ToTimeSpan()	$time

❗ Important: These translations are currently over-simplified. We need to think more about precision and day-wrapping.

See also #24506 (comment)

[roji]

Careful with BETWEEN and inclusivity/exclusivity. I checked this on PG, where BETWEEN is inclusive on both sides. IIRC the .NET version is exclusive on the end side, so not good. And yeah, day-wrapping isn't trivial.

[roji]

Note: implemented these in PG (npgsql/efcore.pg#2151), some tests can probably be taken from there.

[briangtn]

Is there an existing issues for same translations in SQLServer ? @ajcvickers

[roji]

@briangtn #24507 tracks supporting DateOnly/TimeOnly on SQL Server. Note that that's blocked on dotnet/SqlClient#1009.