Add BDD equivalent method
Simplify bdd support method
Add several unimplemented operators/methods
Change traverse from function to method
Implement BDD restrict method