Implemented CUDD support for unary operations

Added CUDD call for density, shift, restrict, and equant.