Draft PEP: Sealed decorator for static typing

[tmk (Thomas Kehrenberg)]

I started a discussion for your idea here: Syntactic sugar for union cases in match statements