This type is used to track degrees of individual variables during degree propagation.
An inclusive range of degrees.
The degree of an expression.