Make tc-let do unions correctly.

The types from the user may be Unions themselves or Undefined, and so the real logic of Un should be used.