More tweaks to tcons, better addressing for checking. Still unsound...
Better equality for closures, fixed contract construction for arrow contracts. Tests succeeding.