Ensure AliasType#undress works as expected.
Type#undress: add a costly yet safe fall-back strategy
Enhance Union#undress