Add coercion to Instant and Date
diff --git a/spec/src/main/asciidoc/ELSpec.adoc b/spec/src/main/asciidoc/ELSpec.adoc
index 49fa327..6388ab5 100644
--- a/spec/src/main/asciidoc/ELSpec.adoc
+++ b/spec/src/main/asciidoc/ELSpec.adoc
@@ -1616,17 +1616,41 @@
==== Coerce `A` to functional interface method invocation
- * If `A` is a `LambdaExpression` then:
+* If `A` is a `LambdaExpression` then:
- ** Return the result of invoking the `LambdaExpression` with the parameters
- (coerced if necessary) that were passed to the Functional Interface method
- invocation
+** Return the result of invoking the `LambdaExpression` with the parameters
+ (coerced if necessary) that were passed to the Functional Interface method
+ invocation
- * Otherwise, apply the rules in <<Coerce `A` to Any Other Type `T`>>
+* Otherwise, apply the rules in <<Coerce `A` to Any Other Type `T`>>
Note: A Type is only considered to be a functional interface it it is annotated
with `java.lang.FunctionalInterface`.
+==== Coerce `A` to `java.time.Instant`
+
+* If `A` is `null`, return `null`
+
+* If `A` is `java.time.Instant`, return `A`
+
+* If `A` is `java.time.temporal.TemporalAccessor`, return `Instant.from(A)`
+
+* If `A` is `java.time.Clock`, return `A.instant()`
+
+* If `A` is `java.util.Date`, return `A.toInstant()`
+
+* If `A` is `String`, return `Instant.parse(A)`
+
+* Otherwise, error
+
+==== Coerce `A` to `java.util.Date`
+
+* If `A` is `null`, return `null`
+
+* If `A` is `java.util.Date`, return `A`
+
+* Coerce `A` to `Instant` and then call `java.util.Date.from(A)`
+
==== Coerce `A` to Any Other Type `T`
* If `A` is `null`, return `null`
