Missing logic for type variable binding?

[nsbgn]

Why is the following not a part of TypeVariable.above() and TypeVariable.below()?

 if upper == lower:
        self.bind(upper())

[nsbgn]

Should be:

        if a.upper and a.upper == a.lower and a.upper is not None:
            self.bind(a.upper())

Would otherwise cause errors. Rest of point stands.

[nsbgn]

With the new constraint logic (#85) this actually leads to a practical issue, so it will be included.