Memoize default implementations in `Value`

By relocating the computations to memoized suppliers within the `AbstractValue` class, we’ve already accomplished this for calculating correlated sets. However, there are a few remaining methods that are relatively expensive and should also be moved there. 