From #805:
LazySets defines it the other way around: overapproximate(S::LazySet, ::Type{<:Hyperrectangle}) = box_approximation(S). We should use the same convention here and rename all methods to box_approximation (and then add an alias with overapproximate).
