Desugar types too.

This ensures they have the correct names in them. This won't affect our
evaluator, but could affect tools build using us that require the type
information.