Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later)

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) #866