Move pos/neg unate methods out of Function

Resolves issue #57
Get rid of pos/neg unate methods in BDD

This silly implementation just converted the BDD to an expression,
then called expr.is_pos/neg_unate(). Better to just get rid of it.