Revising earlier unification fix.
Started adding heritage checks for TC and liquid.
Adding some tests.
Adding checks for interfaces.
Restoring support for classes.

  - Instance variables are treated as globals, using a common type for all
    objects (non-object sensitive).

  - Added check for class / interface heritage.