diff --git a/deep_causality/src/protocols/contextuable/mod.rs b/deep_causality/src/protocols/contextuable/mod.rs
index a4174b5..b41416e 100644
--- a/deep_causality/src/protocols/contextuable/mod.rs
+++ b/deep_causality/src/protocols/contextuable/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::*;
 
 use crate::prelude::{ContextoidType, Identifiable, TimeScale};
@@ -21,7 +22,15 @@ pub trait Datable: Identifiable {}
 ///
 pub trait Temporable<V>: Identifiable
 where
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn time_scale(&self) -> TimeScale;
     fn time_unit(&self) -> &V;
@@ -42,7 +51,15 @@ where
 ///
 pub trait Spatial<V>: Identifiable
 where
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn x(&self) -> &V;
     fn y(&self) -> &V;
@@ -64,7 +81,15 @@ where
 ///
 pub trait SpaceTemporal<V>: Identifiable + Spatial<V> + Temporable<V>
 where
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn t(&self) -> &V; // returns 4th dimension, t
 }
@@ -91,7 +116,15 @@ where
     S: Spatial<V>,
     ST: SpaceTemporal<V>,
     T: Temporable<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn vertex_type(&self) -> &ContextoidType<D, S, T, ST, V>;
 }
diff --git a/deep_causality/src/protocols/contextuable_graph/mod.rs b/deep_causality/src/protocols/contextuable_graph/mod.rs
index 3b70ac7..f909b58 100644
--- a/deep_causality/src/protocols/contextuable_graph/mod.rs
+++ b/deep_causality/src/protocols/contextuable_graph/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use crate::errors::ContextIndexError;
@@ -31,7 +32,15 @@ where
     S: Spatial<V>,
     ST: SpaceTemporal<V>,
     T: Temporable<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn add_node(&mut self, value: Contextoid<D, S, T, ST, V>) -> usize;
     fn contains_node(&self, index: usize) -> bool;
@@ -80,7 +89,15 @@ where
     S: Spatial<V>,
     ST: SpaceTemporal<V>,
     T: Temporable<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     // Creates a new context and returns the index of the new context.
     fn extra_ctx_add_new(&mut self, capacity: usize, default: bool) -> u64;
diff --git a/deep_causality/src/types/context_types/context_graph/contextuable_graph.rs b/deep_causality/src/types/context_types/context_graph/contextuable_graph.rs
index aa13c39..4c8385c 100644
--- a/deep_causality/src/types/context_types/context_graph/contextuable_graph.rs
+++ b/deep_causality/src/types/context_types/context_graph/contextuable_graph.rs
@@ -9,7 +9,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Ads a new Contextoid to the context.
     /// You can add the same contextoid multiple times,
diff --git a/deep_causality/src/types/context_types/context_graph/debug.rs b/deep_causality/src/types/context_types/context_graph/debug.rs
index 918821f..eb30267 100644
--- a/deep_causality/src/types/context_types/context_graph/debug.rs
+++ b/deep_causality/src/types/context_types/context_graph/debug.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 use std::ops::*;
 
 use crate::prelude::{Context, Datable, SpaceTemporal, Spatial, Temporable};
@@ -12,7 +13,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn format(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(
@@ -32,7 +41,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         self.format(f)
@@ -45,7 +62,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         self.format(f)
diff --git a/deep_causality/src/types/context_types/context_graph/extendable_contextuable_graph.rs b/deep_causality/src/types/context_types/context_graph/extendable_contextuable_graph.rs
index 92523e3..92c6ea7 100644
--- a/deep_causality/src/types/context_types/context_graph/extendable_contextuable_graph.rs
+++ b/deep_causality/src/types/context_types/context_graph/extendable_contextuable_graph.rs
@@ -10,7 +10,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn extra_ctx_add_new(&mut self, capacity: usize, default: bool) -> u64 {
         if self.extra_contexts.is_none() {
@@ -191,7 +199,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn get_current_extra_context(
         &self,
diff --git a/deep_causality/src/types/context_types/context_graph/identifiable.rs b/deep_causality/src/types/context_types/context_graph/identifiable.rs
index 461efe2..6bc61a2 100644
--- a/deep_causality/src/types/context_types/context_graph/identifiable.rs
+++ b/deep_causality/src/types/context_types/context_graph/identifiable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -10,7 +11,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Returns the id of the context.
     fn id(&self) -> u64 {
diff --git a/deep_causality/src/types/context_types/context_graph/indexable.rs b/deep_causality/src/types/context_types/context_graph/indexable.rs
index fda818c..ca522e7 100644
--- a/deep_causality/src/types/context_types/context_graph/indexable.rs
+++ b/deep_causality/src/types/context_types/context_graph/indexable.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2024" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use crate::prelude::{Context, Datable, Indexable, SpaceTemporal, Spatial, Temporable};
@@ -11,7 +12,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn get_index(&self, key: &usize, current: bool) -> Option<&usize> {
         {
diff --git a/deep_causality/src/types/context_types/context_graph/mod.rs b/deep_causality/src/types/context_types/context_graph/mod.rs
index d8ab80c..3a0a4f1 100644
--- a/deep_causality/src/types/context_types/context_graph/mod.rs
+++ b/deep_causality/src/types/context_types/context_graph/mod.rs
@@ -2,6 +2,7 @@
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
 use std::collections::HashMap;
+use std::hash::Hash;
 use std::ops::*;
 
 use ultragraph::prelude::*;
@@ -24,7 +25,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     id: u64,
     name: &'l str,
@@ -42,7 +51,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Creates a new context with the given node capacity.
     pub fn with_capacity(id: u64, name: &'l str, capacity: usize) -> Self {
diff --git a/deep_causality/src/types/context_types/contextoid/contextoid_type.rs b/deep_causality/src/types/context_types/contextoid/contextoid_type.rs
index eaaf4f4..6eedd1f 100644
--- a/deep_causality/src/types/context_types/contextoid/contextoid_type.rs
+++ b/deep_causality/src/types/context_types/contextoid/contextoid_type.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Display, Formatter};
+use std::hash::Hash;
 use std::marker::PhantomData;
 use std::ops::*;
 
@@ -25,7 +26,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     Datoid(D),
     Tempoid(T),
@@ -41,7 +50,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     pub fn root(&self) -> Option<&Root> {
         if let ContextoidType::Root(b) = self {
@@ -87,7 +104,16 @@ where
     S: Display + Spatial<V>,
     T: Display + Temporable<V>,
     ST: Display + SpaceTemporal<V>,
-    V: Display + Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Display
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         match self {
diff --git a/deep_causality/src/types/context_types/contextoid/contextuable.rs b/deep_causality/src/types/context_types/contextoid/contextuable.rs
index 07fb3ca..001220f 100644
--- a/deep_causality/src/types/context_types/contextoid/contextuable.rs
+++ b/deep_causality/src/types/context_types/contextoid/contextuable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -12,7 +13,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn vertex_type(&self) -> &ContextoidType<D, S, T, ST, V> {
         &self.vertex_type
diff --git a/deep_causality/src/types/context_types/contextoid/display.rs b/deep_causality/src/types/context_types/contextoid/display.rs
index 58092d1..8de10fb 100644
--- a/deep_causality/src/types/context_types/contextoid/display.rs
+++ b/deep_causality/src/types/context_types/contextoid/display.rs
@@ -1,4 +1,5 @@
 use std::fmt::{Display, Formatter};
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -11,7 +12,16 @@ where
     S: Spatial<V> + Display,
     T: Temporable<V> + Display,
     ST: SpaceTemporal<V> + Display,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Display,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Display,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(f, "Contextoid ID: {} Type: {}", self.id, self.vertex_type)
diff --git a/deep_causality/src/types/context_types/contextoid/identifiable.rs b/deep_causality/src/types/context_types/contextoid/identifiable.rs
index a0080ed..ed4b4a2 100644
--- a/deep_causality/src/types/context_types/contextoid/identifiable.rs
+++ b/deep_causality/src/types/context_types/contextoid/identifiable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -10,7 +11,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/contextoid/mod.rs b/deep_causality/src/types/context_types/contextoid/mod.rs
index 7e487cb..aebecd6 100644
--- a/deep_causality/src/types/context_types/contextoid/mod.rs
+++ b/deep_causality/src/types/context_types/contextoid/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::marker::PhantomData;
 use std::ops::*;
 
@@ -18,7 +19,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     id: u64,
     vertex_type: ContextoidType<D, S, T, ST, V>,
@@ -31,7 +40,15 @@ where
     S: Spatial<V>,
     T: Temporable<V>,
     ST: SpaceTemporal<V>,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V>,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     pub fn new(id: u64, vertex_type: ContextoidType<D, S, T, ST, V>) -> Self {
         Self {
diff --git a/deep_causality/src/types/context_types/node_types/data/display.rs b/deep_causality/src/types/context_types/node_types/data/display.rs
index 9951147..98d0937 100644
--- a/deep_causality/src/types/context_types/node_types/data/display.rs
+++ b/deep_causality/src/types/context_types/node_types/data/display.rs
@@ -1,12 +1,13 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 
 use crate::types::context_types::node_types::data::Data;
 
 impl<T> Display for Data<T>
 where
-    T: Copy + Default + Debug,
+    T: Debug + Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(f, "Dataoid: id: {} data: {:?}", self.id, self.data)
diff --git a/deep_causality/src/types/context_types/node_types/data/identifiable.rs b/deep_causality/src/types/context_types/node_types/data/identifiable.rs
index 5f8feb5..63b2387 100644
--- a/deep_causality/src/types/context_types/node_types/data/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types/data/identifiable.rs
@@ -1,3 +1,5 @@
+use std::hash::Hash;
+
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use crate::prelude::Identifiable;
@@ -5,7 +7,7 @@ use crate::types::context_types::node_types::data::Data;
 
 impl<T> Identifiable for Data<T>
 where
-    T: Copy + Default,
+    T: Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types/data/mod.rs b/deep_causality/src/types/context_types/node_types/data/mod.rs
index 4345485..33e8832 100644
--- a/deep_causality/src/types/context_types/node_types/data/mod.rs
+++ b/deep_causality/src/types/context_types/node_types/data/mod.rs
@@ -1,6 +1,8 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
+
 use deep_causality_macros::{Constructor, Getters};
 
 use crate::prelude::Datable;
@@ -11,7 +13,7 @@ pub mod identifiable;
 #[derive(Getters, Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct Data<T>
 where
-    T: Copy + Default,
+    T: Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     #[getter(name = data_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
@@ -19,4 +21,4 @@ where
 }
 
 // Type tag required for context.
-impl<T> Datable for Data<T> where T: Copy + Default {}
+impl<T> Datable for Data<T> where T: Default + Copy + Clone + Hash + Eq + PartialEq {}
diff --git a/deep_causality/src/types/context_types/node_types/space/display.rs b/deep_causality/src/types/context_types/node_types/space/display.rs
index bb59456..b1a468e 100644
--- a/deep_causality/src/types/context_types/node_types/space/display.rs
+++ b/deep_causality/src/types/context_types/node_types/space/display.rs
@@ -1,12 +1,22 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 
 use super::*;
 
 impl<T> Display for Space<T>
 where
-    T: Default + Debug + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Debug
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut Formatter) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types/space/identifiable.rs b/deep_causality/src/types/context_types/node_types/space/identifiable.rs
index 76346b2..62f33ed 100644
--- a/deep_causality/src/types/context_types/node_types/space/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types/space/identifiable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::space::Space;
 
 impl<T> Identifiable for Space<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types/space/mod.rs b/deep_causality/src/types/context_types/node_types/space/mod.rs
index da09657..e81c3ec 100644
--- a/deep_causality/src/types/context_types/node_types/space/mod.rs
+++ b/deep_causality/src/types/context_types/node_types/space/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use deep_causality_macros::Constructor;
@@ -12,7 +13,15 @@ mod spatial;
 #[derive(Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct Space<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     id: u64,
     x: T,
diff --git a/deep_causality/src/types/context_types/node_types/space/spatial.rs b/deep_causality/src/types/context_types/node_types/space/spatial.rs
index 40547ca..9fa329f 100644
--- a/deep_causality/src/types/context_types/node_types/space/spatial.rs
+++ b/deep_causality/src/types/context_types/node_types/space/spatial.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -8,7 +9,15 @@ use super::*;
 
 impl<T> Spatial<T> for Space<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn x(&self) -> &T {
         &self.x
diff --git a/deep_causality/src/types/context_types/node_types/space_time/display.rs b/deep_causality/src/types/context_types/node_types/space_time/display.rs
index 07a41f0..b700688 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/display.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/display.rs
@@ -1,13 +1,23 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use crate::types::context_types::node_types::space_time::SpaceTime;
 
 impl<T> Display for SpaceTime<T>
 where
-    T: Copy + Debug + Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Debug
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types/space_time/identifiable.rs b/deep_causality/src/types/context_types/node_types/space_time/identifiable.rs
index d6bc8b3..ebf1b47 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/identifiable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::space_time::SpaceTime;
 
 impl<T> Identifiable for SpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types/space_time/mod.rs b/deep_causality/src/types/context_types/node_types/space_time/mod.rs
index 587840c..dc27607 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/mod.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/mod.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -15,7 +16,15 @@ mod temporable;
 #[derive(Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct SpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     id: u64,
     time_scale: TimeScale,
diff --git a/deep_causality/src/types/context_types/node_types/space_time/space_temporal.rs b/deep_causality/src/types/context_types/node_types/space_time/space_temporal.rs
index e5bf1a2..20583ca 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/space_temporal.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/space_temporal.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::space_time::SpaceTime;
 
 impl<T> SpaceTemporal<T> for SpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn t(&self) -> &T {
         &self.time_unit
diff --git a/deep_causality/src/types/context_types/node_types/space_time/spatial.rs b/deep_causality/src/types/context_types/node_types/space_time/spatial.rs
index c37e8b6..90babce 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/spatial.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/spatial.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::space_time::SpaceTime;
 
 impl<T> Spatial<T> for SpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn x(&self) -> &T {
         &self.x
diff --git a/deep_causality/src/types/context_types/node_types/space_time/temporable.rs b/deep_causality/src/types/context_types/node_types/space_time/temporable.rs
index a1cc01b..81dfce9 100644
--- a/deep_causality/src/types/context_types/node_types/space_time/temporable.rs
+++ b/deep_causality/src/types/context_types/node_types/space_time/temporable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::space_time::SpaceTime;
 
 impl<T> Temporable<T> for SpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn time_scale(&self) -> TimeScale {
         self.time_scale
diff --git a/deep_causality/src/types/context_types/node_types/time/display.rs b/deep_causality/src/types/context_types/node_types/time/display.rs
index c3745e1..53a502b 100644
--- a/deep_causality/src/types/context_types/node_types/time/display.rs
+++ b/deep_causality/src/types/context_types/node_types/time/display.rs
@@ -1,13 +1,23 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::fmt::{Debug, Display};
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use crate::types::context_types::node_types::time::Time;
 
 impl<T> Display for Time<T>
 where
-    T: Debug + Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Debug
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types/time/identifiable.rs b/deep_causality/src/types/context_types/node_types/time/identifiable.rs
index f1ad2be..132459e 100644
--- a/deep_causality/src/types/context_types/node_types/time/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types/time/identifiable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::time::Time;
 
 impl<T> Identifiable for Time<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types/time/mod.rs b/deep_causality/src/types/context_types/node_types/time/mod.rs
index df1d8fa..cb5eb38 100644
--- a/deep_causality/src/types/context_types/node_types/time/mod.rs
+++ b/deep_causality/src/types/context_types/node_types/time/mod.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::*;
@@ -13,7 +14,15 @@ mod temporable;
 #[derive(Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct Time<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     id: u64,
     time_scale: TimeScale,
diff --git a/deep_causality/src/types/context_types/node_types/time/temporable.rs b/deep_causality/src/types/context_types/node_types/time/temporable.rs
index 38d603e..8b21164 100644
--- a/deep_causality/src/types/context_types/node_types/time/temporable.rs
+++ b/deep_causality/src/types/context_types/node_types/time/temporable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -7,7 +8,15 @@ use crate::types::context_types::node_types::time::Time;
 
 impl<T> Temporable<T> for Time<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn time_scale(&self) -> TimeScale {
         self.time_scale
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/adjustable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/adjustable.rs
index 0091e2d..b75659d 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/adjustable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/adjustable.rs
@@ -16,6 +16,9 @@ where
         + Sub<T, Output = T>
         + Mul<T, Output = T>
         + Copy
+        + Clone
+        + Hash
+        + Eq
         + PartialEq
         + PartialOrd,
 {
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/display.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/display.rs
index 098ad53..f27e489 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/display.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/display.rs
@@ -6,7 +6,7 @@ use super::*;
 
 impl<T> Display for AdjustableData<T>
 where
-    T: Copy + Default + Debug,
+    T: Debug + Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(f, "AdjustableData: id: {} data: {:?}", self.id, self.data)
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/identifiable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/identifiable.rs
index bd46273..6788a24 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/identifiable.rs
@@ -6,7 +6,7 @@ use super::*;
 
 impl<T> Identifiable for AdjustableData<T>
 where
-    T: Copy + Default,
+    T: Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/mod.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/mod.rs
index 5fa3ad6..c3197f1 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/mod.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_data/mod.rs
@@ -1,3 +1,5 @@
+use std::hash::Hash;
+
 use deep_causality_macros::{Constructor, Getters};
 
 // SPDX-License-Identifier: MIT
@@ -11,7 +13,7 @@ mod identifiable;
 #[derive(Getters, Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct AdjustableData<T>
 where
-    T: Copy + Default,
+    T: Default + Copy + Clone + Hash + Eq + PartialEq,
 {
     #[getter(name = data_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
@@ -19,4 +21,4 @@ where
 }
 
 // Type tag required for context.
-impl<T> Datable for AdjustableData<T> where T: Copy + Default {}
+impl<T> Datable for AdjustableData<T> where T: Default + Copy + Clone + Hash + Eq + PartialEq {}
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/adjustable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/adjustable.rs
index e0b1080..b6bad21 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/adjustable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/adjustable.rs
@@ -19,6 +19,9 @@ where
         + Sub<T, Output = T>
         + Mul<T, Output = T>
         + Copy
+        + Clone
+        + Hash
+        + Eq
         + PartialEq
         + PartialOrd,
 {
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/display.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/display.rs
index 2a1bcba..3994dc7 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/display.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/display.rs
@@ -6,7 +6,16 @@ use super::*;
 
 impl<T> Display for AdjustableSpace<T>
 where
-    T: Default + Debug + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Debug
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut Formatter) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/identifiable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/identifiable.rs
index 1cdbc2d..4cab444 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/identifiable.rs
@@ -6,7 +6,15 @@ use super::*;
 
 impl<T> Identifiable for AdjustableSpace<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/mod.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/mod.rs
index 7790435..ec76870 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/mod.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::*;
 
 use deep_causality_macros::{Constructor, Getters};
@@ -13,7 +14,15 @@ mod spatial;
 #[derive(Getters, Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct AdjustableSpace<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     #[getter(name = space_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/spatial.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/spatial.rs
index 5376759..345b051 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/spatial.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space/spatial.rs
@@ -7,7 +7,15 @@ use super::*;
 
 impl<T> Spatial<T> for AdjustableSpace<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn x(&self) -> &T {
         &self.x
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/adjustable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/adjustable.rs
index cae2376..8fe0cbc 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/adjustable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/adjustable.rs
@@ -1,3 +1,5 @@
+use std::fmt::Debug;
+use std::hash::Hash;
 use std::ops::Add;
 
 // SPDX-License-Identifier: MIT
@@ -11,11 +13,15 @@ use super::*;
 
 impl<T> Adjustable<T> for AdjustableSpaceTime<T>
 where
-    T: Default
+    T: Debug
+        + Default
         + Add<T, Output = T>
         + Sub<T, Output = T>
         + Mul<T, Output = T>
         + Copy
+        + Clone
+        + Hash
+        + Eq
         + PartialEq
         + PartialOrd,
 {
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/display.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/display.rs
index 8d16ad5..bcc274a 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/display.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/display.rs
@@ -1,12 +1,22 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
-use std::fmt::{Display, Formatter};
+use std::fmt::{Debug, Display, Formatter};
 
 use super::*;
 
 impl<T> Display for AdjustableSpaceTime<T>
 where
-    T: Copy + Display + Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T>,
+    T: Debug
+        + Display
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/identifiable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/identifiable.rs
index 3151c62..20c343e 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/identifiable.rs
@@ -6,7 +6,15 @@ use super::*;
 
 impl<T> Identifiable for AdjustableSpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/mod.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/mod.rs
index 0d2aa07..4b7e064 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/mod.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::*;
 
 use deep_causality_macros::{Constructor, Getters};
@@ -17,7 +18,15 @@ mod temporable;
 #[derive(Getters, Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct AdjustableSpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     #[getter(name = time_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/space_temporal.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/space_temporal.rs
index 9ae6353..1c02889 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/space_temporal.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/space_temporal.rs
@@ -6,7 +6,15 @@ use super::*;
 
 impl<T> SpaceTemporal<T> for AdjustableSpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn t(&self) -> &T {
         &self.time_unit
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/spatial.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/spatial.rs
index 7f0bbe0..dfff5b3 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/spatial.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/spatial.rs
@@ -6,7 +6,15 @@ use super::*;
 
 impl<T> Spatial<T> for AdjustableSpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn x(&self) -> &T {
         &self.x
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/temporable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/temporable.rs
index 46f46dc..b5399d8 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/temporable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_space_time/temporable.rs
@@ -8,7 +8,15 @@ use super::*;
 
 impl<T> Temporable<T> for AdjustableSpaceTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn time_scale(&self) -> TimeScale {
         self.time_scale
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/adjustable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/adjustable.rs
index 3516de1..2fd83ef 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/adjustable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/adjustable.rs
@@ -1,6 +1,8 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::fmt::Debug;
+use std::hash::Hash;
 use std::ops::*;
 
 use dcl_data_structures::grid_type::ArrayGrid;
@@ -11,11 +13,15 @@ use crate::prelude::{Adjustable, AdjustableTime};
 
 impl<T> Adjustable<T> for AdjustableTime<T>
 where
-    T: Default
+    T: Debug
+        + Default
         + Add<T, Output = T>
         + Sub<T, Output = T>
         + Mul<T, Output = T>
         + Copy
+        + Clone
+        + Hash
+        + Eq
         + PartialEq
         + PartialOrd,
 {
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/display.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/display.rs
index 941d588..70102f6 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/display.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/display.rs
@@ -6,7 +6,16 @@ use super::*;
 
 impl<T> Display for AdjustableTime<T>
 where
-    T: Debug + Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Debug
+        + Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/identifiable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/identifiable.rs
index e739e82..7441f2d 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/identifiable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/identifiable.rs
@@ -6,7 +6,15 @@ use super::*;
 
 impl<T> Identifiable for AdjustableTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/mod.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/mod.rs
index 9e0874f..8515e31 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/mod.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/mod.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
+use std::hash::Hash;
 use std::ops::*;
 
 use deep_causality_macros::{Constructor, Getters};
@@ -15,7 +16,15 @@ mod temporable;
 #[derive(Getters, Constructor, Debug, Copy, Clone, Hash, Eq, PartialEq)]
 pub struct AdjustableTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     #[getter(name = time_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
diff --git a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/temporable.rs b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/temporable.rs
index 9616a93..7bd9404 100644
--- a/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/temporable.rs
+++ b/deep_causality/src/types/context_types/node_types_adjustable/adjustable_time/temporable.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::ops::{Add, Mul, Sub};
@@ -6,7 +7,15 @@ use crate::prelude::{AdjustableTime, Temporable, TimeScale};
 
 impl<T> Temporable<T> for AdjustableTime<T>
 where
-    T: Default + Add<T, Output = T> + Sub<T, Output = T> + Mul<T, Output = T> + Copy,
+    T: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<T, Output = T>
+        + Sub<T, Output = T>
+        + Mul<T, Output = T>,
 {
     fn time_scale(&self) -> TimeScale {
         self.time_scale
diff --git a/deep_causality/src/types/csm_types/csm_state.rs b/deep_causality/src/types/csm_types/csm_state.rs
index 249daa7..fdefeb1 100644
--- a/deep_causality/src/types/csm_types/csm_state.rs
+++ b/deep_causality/src/types/csm_types/csm_state.rs
@@ -2,6 +2,7 @@
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 use std::ops::*;
 
 use deep_causality_macros::{Constructor, Getters};
@@ -18,7 +19,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     id: usize,
     version: usize,
@@ -32,7 +42,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     pub fn eval(&self) -> Result<bool, CausalityError> {
         self.causaloid.verify_single_cause(&self.data)
@@ -56,7 +75,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         self.fmt_print(f)
diff --git a/deep_causality/src/types/csm_types/mod.rs b/deep_causality/src/types/csm_types/mod.rs
index e986766..f94fa66 100644
--- a/deep_causality/src/types/csm_types/mod.rs
+++ b/deep_causality/src/types/csm_types/mod.rs
@@ -3,6 +3,7 @@
 
 use std::cell::RefCell;
 use std::collections::HashMap;
+use std::hash::Hash;
 use std::ops::{Add, Mul, Sub};
 
 use crate::errors::{ActionError, UpdateError};
@@ -24,7 +25,15 @@ where
     S: Spatial<V> + Clone + Copy,
     T: Temporable<V> + Clone + Copy,
     ST: SpaceTemporal<V> + Clone + Copy,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     state_actions: RefCell<CSMMap<'l, D, S, T, ST, V>>,
 }
@@ -35,7 +44,15 @@ where
     S: Spatial<V> + Clone + Copy,
     T: Temporable<V> + Clone + Copy,
     ST: SpaceTemporal<V> + Clone + Copy,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Constructs a new CSM.
     pub fn new(state_actions: &'l CSMStateActions<'l, D, S, T, ST, V>) -> Self {
@@ -67,7 +84,15 @@ where
     S: Spatial<V> + Clone + Copy,
     T: Temporable<V> + Clone + Copy,
     ST: SpaceTemporal<V> + Clone + Copy,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Inserts a new state action at the index position idx.
     /// Returns UpdateError if the index already exists.
@@ -115,7 +140,15 @@ where
     S: Spatial<V> + Clone + Copy,
     T: Temporable<V> + Clone + Copy,
     ST: SpaceTemporal<V> + Clone + Copy,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Evaluates a single causal state at the index position idx.
     /// Returns ActionError if the evaluation failed.
@@ -189,7 +222,15 @@ where
     S: Spatial<V> + Clone + Copy,
     T: Temporable<V> + Clone + Copy,
     ST: SpaceTemporal<V> + Clone + Copy,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     /// Evaluates all causal states in the CSM.
     /// Returns ActionError if the evaluation failed.
diff --git a/deep_causality/src/types/model_types/mod.rs b/deep_causality/src/types/model_types/mod.rs
index 2630f5e..fafd5fc 100644
--- a/deep_causality/src/types/model_types/mod.rs
+++ b/deep_causality/src/types/model_types/mod.rs
@@ -1,3 +1,4 @@
+use std::hash::Hash;
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . Marvin Hansen <marvin.hansen@gmail.com> All rights reserved.
 use std::ops::*;
@@ -15,7 +16,15 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     #[getter(name = model_id)] // Rename ID getter to prevent conflict impl with identifiable
     id: u64,
@@ -32,7 +41,15 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/reasoning_types/causaloid/causable.rs b/deep_causality/src/types/reasoning_types/causaloid/causable.rs
index b3c99b0..bbee767 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/causable.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/causable.rs
@@ -1,6 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Copyright (c) "2023" . The DeepCausality Authors. All Rights Reserved.
 use std::collections::HashMap;
+use std::hash::Hash;
 use std::ops::*;
 
 use crate::errors::CausalityError;
@@ -16,7 +17,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn explain(&self) -> Result<String, CausalityError> {
         return if self.active.get() {
@@ -147,7 +157,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     #[inline(always)]
     fn check_active(&self, res: bool) -> bool {
diff --git a/deep_causality/src/types/reasoning_types/causaloid/debug.rs b/deep_causality/src/types/reasoning_types/causaloid/debug.rs
new file mode 100644
index 0000000..8b13789
--- /dev/null
+++ b/deep_causality/src/types/reasoning_types/causaloid/debug.rs
@@ -0,0 +1 @@
+
diff --git a/deep_causality/src/types/reasoning_types/causaloid/display.rs b/deep_causality/src/types/reasoning_types/causaloid/display.rs
index 319ecc2..0d2e911 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/display.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/display.rs
@@ -9,7 +9,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Debug,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         self.fmt(f)
@@ -22,7 +31,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         self.fmt(f)
@@ -35,7 +53,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(f, "Causaloid id: {} \n Causaloid type: {} \n description: {} is active: {} has context: {}",
diff --git a/deep_causality/src/types/reasoning_types/causaloid/getters.rs b/deep_causality/src/types/reasoning_types/causaloid/getters.rs
index 541098b..9c67117 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/getters.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/getters.rs
@@ -10,7 +10,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     pub fn active(&self) -> bool {
         self.active.get()
diff --git a/deep_causality/src/types/reasoning_types/causaloid/identifiable.rs b/deep_causality/src/types/reasoning_types/causaloid/identifiable.rs
index 5a0272e..ec098fa 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/identifiable.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/identifiable.rs
@@ -9,7 +9,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn id(&self) -> u64 {
         self.id
diff --git a/deep_causality/src/types/reasoning_types/causaloid/mod.rs b/deep_causality/src/types/reasoning_types/causaloid/mod.rs
index 3454106..4e1fad2 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/mod.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/mod.rs
@@ -3,6 +3,7 @@
 
 use std::cell::Cell;
 use std::fmt::{Debug, Display, Formatter};
+use std::hash::Hash;
 use std::marker::PhantomData;
 use std::ops::*;
 
@@ -11,6 +12,7 @@ use crate::types::reasoning_types::causaloid::causal_type::CausalType;
 
 mod causable;
 mod causal_type;
+mod debug;
 mod display;
 mod getters;
 mod identifiable;
@@ -25,7 +27,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     id: IdentificationValue,
     active: Cell<bool>,
@@ -48,7 +59,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     /// Singleton constructor. Assumes causality function is valid.
     /// Only use for non-fallible construction i.e.verified a-priori knowledge about the correctness of the causal function.
diff --git a/deep_causality/src/types/reasoning_types/causaloid/part_eq.rs b/deep_causality/src/types/reasoning_types/causaloid/part_eq.rs
index 5a42247..9f02ca7 100644
--- a/deep_causality/src/types/reasoning_types/causaloid/part_eq.rs
+++ b/deep_causality/src/types/reasoning_types/causaloid/part_eq.rs
@@ -9,7 +9,16 @@ where
     S: Spatial<V> + Clone,
     T: Temporable<V> + Clone,
     ST: SpaceTemporal<V> + Clone,
-    V: Default + Add<V, Output = V> + Sub<V, Output = V> + Mul<V, Output = V> + Clone,
+    V: Default
+        + Copy
+        + Clone
+        + Hash
+        + Eq
+        + PartialEq
+        + Add<V, Output = V>
+        + Sub<V, Output = V>
+        + Mul<V, Output = V>
+        + Clone,
 {
     fn eq(&self, other: &Self) -> bool {
         self.id == other.id