Haddock : A Language and Architecture for Decision Diagram Compilation