Rebind

[cdonovick]

resolves #65

[rdaly525]

I think I was not clear on what I wanted for #65

The use case I had in mind was something along the lines of:

class A_smt(Product):
  a = SMTBitVector[16]
  b = SMTBit

class A_bv(Product):
  a = BitVector[16]
  b = Bit

assert rebind_family(A_smt,BitVector.get_family()) == A_bv

Although it looks like I can use this code to create the above rebind_family()

[cdonovick]

@rdaly525
You can achieve this by
A_smt.rebind(SMTBitVector, BitVector).rebind(SMTBit, Bit)

This is just more general allowing any type to rebound to any type,