Major rewrite of aggregation results (#972)

Author: swallez

output/schema/schema.json

@@ -18,6 +18,11 @@
  */
 
 /**
- * The absence of any type. This is commonly used in APIs that returns an empty body.
+ * The absence of any type. This is commonly used in APIs that don't return a body.
+ *
+ * Although "void" is generally used for the unit type that has only one value, this is to be interpreted as
+ * the bottom type that has no value at all. Most languages have a unit type, but few have a bottom type.
+ *
+ * See https://en.m.wikipedia.org/wiki/Unit_type and https://en.m.wikipedia.org/wiki/Bottom_type
  */
 export type Void = void

output/schema/validation-errors.json

@@ -56,6 +56,14 @@ export enum GeoDistanceType {
 /** A GeoJson shape, that can also use Elasticsearch's `envelope` extension. */
 export type GeoShape = UserDefinedValue
 
+/** A GeoJson GeoLine. */
+export class GeoLine {
+  /** Always `"LineString"` */
+  type: string
+  /** Array of `[lon, lat]` coordinates */
+  coordinates: Array<Array<double>>
+}
+
 export enum GeoShapeRelation {
   intersects = 0,
   disjoint = 1,
@@ -65,6 +73,10 @@ export enum GeoShapeRelation {
 
 export type GeoTilePrecision = number
 export type GeoHashPrecision = number
+export type GeoHash = string
+
+/** A map tile reference, represented as `{zoom}/{x}/{y}` */
+export type GeoTile = string
 
 export class LatLon {
   lat: double