Expanded named type with new patternmatching from discriminatedUnions.