sealed types 🦭

[jorenham]

add a decorator @sealed, which is like a @typing.final that only allows subtypes to be defined within the same module

this is necessary for exhaustive matching of what the cool kids call algebraic data types

see this draft pep for details