Return true when intervals [aStart, aEnd] and [bStart, bEnd] share at least one instant.
Uses Temporal.PlainDate.compare for comparison.
Adjacent intervals (e.g. aEnd === bStart) do NOT overlap — returns false.
Returns false if either interval is invalid (start > end).
Returns false on invalid input (wrong type, malformed strings).
Accepts GMT calendar-annotated PlainDate strings — E5 (issue #78). Ordering is calendar-independent, so arguments may carry different or no calendar tags (D4).