any feedback on my proposal? ^^

@arohner: Looks pretty good to me. I would be interested how it compares to core.typed and how that changes, but not sure if that needs to be in the abstract.