Use exprvar instead of EXPRVARIABLES

Would like to just use the typed variable factory functions for
everything, and not use their internal dictionaries directly.
Minor BDD cleanup
Fixup some boolfunc documentation
Get rid of boolfunc.bottom
boolfunc.top now returns None for constant functions
Implement neg/pos unate methods for TruthTable
Lint cleanup