Implement pos/neg unate methods for Expression
Incremental improvements to Expression unate

Think I'm getting a little closer here, but there's still something kind
of ugly about the if 0, elif 1, else format of the code. Might need to
make min_indices take a parameter to do expansion in a way that's
uniform across all Expression types, including ExprConstant.