Move BDD below expr/table
Make bdd and bddnode BDD interface functions
Make expr2bddnode a BDD interface function