(Possibly) move `wrap` and `unwrap` here

[shashi]

So that packages (like SymbolicSAT) can use them without depending on Symbolics.

What do you think @YingboMa ?

[YingboMa]

Yeah. I think it's fine. It won't be breaking either.