Eliminated qualified import of BDD.Raw.
Eliminated qualified import of BDD.Raw.

Easier readability, and perhaps it isn't such an issue that I'm
importing the module unqualified, as it comes from the same package.

bradlarsen/bdd