Scala Decision Diagrams