Several improvements to types, subtyping and tallying.
This MR improves several aspects of the tallying, subtyping and variable-aware BDD structure, yielding speed improvements in tallying intensive code.
This MR improves several aspects of the tallying, subtyping and variable-aware BDD structure, yielding speed improvements in tallying intensive code.