ruff

[ty] WIP: Implement the type tallying algorithm from POPL2015 paper

#19750

Open