Resolving to
Depth Is Not a Number: Datum-indexed affine types for water-level arithmetic
…