Revisit dress through a Monad-based strategy.
Always use Alias instead of mutating type names.
Remove Type#name and Type#defaultName
Align new error message expectations.