Andrea Corallo [2024-02-15 12:28 -0500] wrote: > I've pushed on feature/type-hierarchy a branch Thanks! Just a quick note from me for now: > [1] Looks like there's a small typo: