Many changes.

Decided to do away with binding objects, objects bind themselves if not already bound. Ideally, we'd be able to say to the optimizer that "this code is a no-op if this condition is true", but alas.

I imagine that's something that could be abused.