Merge pull request #3192 from JuliaReach/schillic/rectification

Revise Rectification code and generalize to LazySet

Author: schillic

docs/src/lib/lazy_operations/Rectification.md

@@ -19,7 +19,7 @@ dim(::Rectification)
 an_element(::Rectification)
 ∈(::AbstractVector, ::Rectification)
 isempty(::Rectification)
-isbounded(::Rectification{N}) where {N}
+isbounded(::Rectification)
 to_union_of_projections(::Rectification, ::Bool=false)
 ```
 Inherited from [`LazySet`](@ref):