SI-8177 use normalize to flatten nested RefinedTypes
SI-8177 additional test cases by retronym