Desugar types too.
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.

sashabu/libcspm