Removing unused code.
3 tests failing

  Fixes
    - env join unification
    - k-varing TVars