Generalize the `w4Eval` and `w4Solve` functions (#7)
Generalize the `w4Eval` and `w4Solve` functions (#7)

New `w4EvalAny` and `w4SolveAny` functions work for terms of any result
type.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script