this rule graph ridiculousness isn't just scratching my itch to create a new language it's also giving me lots more itches, the idea that typing relations can be defined dynamically, injected, and cached with logic you can hook into and modify is something i would love to demand from every other language in the future