Utilities for working with and combining the results of
Take the sum of the
Take the sum of all of the given size hints.
Take the minimum of the lower bounds and maximum of the upper bounds in the
Take the maximum of the
Protects against potential infinite recursion when calculating size hints due to indirect type recursion.