Make with-lexical-env/extend-props not execute its body if its dead.
Do not rebuild the environment made by check-non-recursive-clauses.
Use (listof tc-result?) instead of tc-results? when inferring types.

tc-results? does not represent Bottom in a way that maintains the number
of values that generated the Bottom.