Fix a bug in Type::Top.normalize.