I made a Notation conversion PR in the old repo two years ago. The codebase has changed a fair amount since then, so this milestone is to reimplement the features of that PR.