camelCase
remove redundant cudd prefixes from function names, consistency with Cudd.Imperative
cuddArg0
move functions to Cudd.C
type sig
remove bImp
remove duplicate checkKeys and debugCheck
remove shift