pub type UnificationStorage<K> = Vec<VarValue<K>>;
struct UnificationStorage<K> { /* private fields */ }