Ohhh, I missed that "->" was the operator. I was typing "to" as in Google searches.

Re dateless times, yes, I think the Soulver way is unambiguous but still human-friendly.