I like this idea (I have suffered a lot implementing some tricky heuristics for _implicit_ type aliases in mypy :-)).I will not have time for a detailed review soon, but I will be glad to sponsor this PEP.