F-pattern_types : Subsets enums using as

I would personally be happy with an MVP, something that just works for scalars and newtypes around scalars for example. Maybe payload-less enums too. And niche optimisation could be improved over time to handle more cases.