Instead of being ``` template<class T> using list = std::variant<Coq_Nil<T>, Coq_Cons<T>> ``` Make it be ``` template<class T> using list = std::shared_ptr<std::variant<Coq_Nil<T>, Coq_Cons<T>>> ``` Which makes `addPtr` redundant, a good thing!
Instead of being
Make it be
Which makes
addPtrredundant, a good thing!