Applying manipulations to comparisons

So one thing that I think is pretty natural in a CAS to want to do things like
```julia
julia> ex = @term (0 == x^2 - 4);

julia> normalize(@term ex + 4)
@term 4 == x^2

julia> normalize(sqrt(ans))
@term ±2 == x
```
and
```julia
julia> ex = @term (-5x <= 1);

julia> normalize(@term ex/(-5))
@term x => 1/5
```

Mathematica recently implemented special functions for manipulating comparisons like the above (`AddSides`, `MultiplySides`, `ApplySides`, etc.). Should this package prefer to manipulate comparisons with something like `ApplySides` or should it be done more or less magically as sketched above?