Cleanup tc-lambda-unit.
FIXUP: addresses comments
FIXUP: bad merge lost change
Make case-lambda correctly typecheck more interesting cases.

Also doesn't typecheck dead code based on case-lambda branches never
taken.