Changed BVSignConversion to SignConversion, add instances to it.

[lsrcz]

This pull request renamed the BVSignConversion type to SignConversion type and added instances for Data.Word and Data.Int types. Resolves #111.

[codecov]

Codecov Report

Attention: 44 lines in your changes are missing coverage. Please review.

Files	Coverage Δ
src/Grisette/Core/Data/BV.hs	38.55% <ø> (ø)
src/Grisette/Core/Data/Class/BitVector.hs	0.00% <ø> (ø)
...IR/SymPrim/Data/Prim/InternedTerm/InternedCtors.hs	90.56% <100.00%> (ø)
...SymPrim/Data/Prim/InternedTerm/TermSubstitution.hs	30.00% <0.00%> (ø)
src/Grisette/IR/SymPrim/Data/Prim/Model.hs	51.21% <0.00%> (ø)
src/Grisette/IR/SymPrim/Data/SymPrim.hs	24.14% <0.00%> (ø)
src/Grisette/Backend/SBV/Data/SMT/Lowering.hs	40.18% <0.00%> (ø)
...Grisette/IR/SymPrim/Data/Prim/InternedTerm/Term.hs	51.37% <50.00%> (ø)
...rc/Grisette/IR/SymPrim/Data/Prim/PartialEval/BV.hs	26.31% <0.00%> (ø)
src/Grisette/Core/Data/Class/SignConversion.hs	0.00% <0.00%> (ø)
... and 1 more

... and 2 files with indirect coverage changes

📢 Thoughts on this report? Let us know!.