updated lots of types for incoming refactoring. The purpose is to make basic operations, and later complex operations, more efficient and less memory-consuming
updated lots of types for incoming refactoring.
The purpose is to make basic operations, and later complex operations, more efficient
and less memory-consuming

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition