These structs allow the extraction of the bound from the Precision value.
They tie together the Stat and the StatBound, which allows the bound to be extracted.
A statistic has a precision Exact or Inexact. This represents uncertainty in that value.
Exact values are computed, where can inexact values are likely inferred from compute functions.
StatType define the bound of a given statistic. (e.g. Max is an upper bound),
this is used to extract the bound from a Precision value, (e.g. p::bound<Max>()).