Define time zone values and conversions

spec/functions/datetime.md

@@ -279,14 +279,19 @@ the functions `:datetime`, `:date`, and `:time`.
     (see [TZDB](https://www.iana.org/time-zones)
     and [LDML](https://www.unicode.org/reports/tr35/tr35-dates.html#Time_Zone_Names)
     for information on identifiers)
-  - `local`
+  - `input`
   - `UTC`
 
-> [!NOTE]
-> The value `local` permits a _message_ to convert a date/time value
-> into a [floating](https://www.w3.org/TR/timezone/#floating) time value
-> (sometimes called a _plain_ or _local_ time value) by removing
-> the association with a specific time zone.
+The value `input` corresponds to the time zone of the _operand_.
+If it is used and _operand_ value does not include a time zone,
+a _Bad Operand_ error is emitted and the default time zone is used to format the _expression_.
+
+If the _operand_ value does not include a time zone,
+it is presumed to use the default time zone provided by the _formatting context_.
+If the _operand_ value does include a time zone and the `timeZone` _option_ is set,
+an implementation SHOULD convert the value to the time zone indicated by the _option_.
+If such conversion is not supported, an implementation MAY alternatively
+emit a _Bad Option_ error and use a _fallback value_ as the _resolved value_ of the _expression_.
 
 The following _option_ is REQUIRED to be available on
 the functions `:datetime` and `:time`: