Public vs. private ID types

[daemontus]

In the public API, we don't want to expose that the BDDs use pointer compression, that there is some bit packing happening, and so on.

To make the nodes still accessible, maybe we should add som "public" VariableId, NodeId and BddNode structures that use 64-bit pointers, and then add the necessary conversions for the "compressed" types.