First substantial commit. Copied major parts of OBDD package.