add more conversions for Value

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.16.4"
+version = "0.16.5"
 edition = "2021"
 authors = ["Kevin Laeufer <[email protected]>"]
 description = "BitVector and Array Arithmetic"

src/lib.rs

@@ -49,6 +49,18 @@ impl TryFrom<Value> for u64 {
     }
 }
 
+impl From<BitVecValue> for Value {
+    fn from(value: BitVecValue) -> Self {
+        Self::BitVec(value)
+    }
+}
+
+impl From<ArrayValue> for Value {
+    fn from(value: ArrayValue) -> Self {
+        Self::Array(value)
+    }
+}
+
 impl Value {
     pub fn try_into_u64(self) -> Result<u64, ()> {
         <Self as TryInto<u64>>::try_into(self)