(WIP) Use define-deprecated-alias for legacy aliases#1460

jackfirth wants to merge 9 commits into

racket:masterracket/typed-racket:masterfrom

jackfirth:deprecated-aliasjackfirth/typed-racket:deprecated-aliasCopy head branch name to clipboard