Monotonically increasing across commits. A Behavior a is, by
definition, a function GraphTime → a; this type is the domain.
commit is the only operation that advances the value, by exactly
one — there is no fractional time, and no API by which time can
advance any other way.
Discrete moment in a graph's history.