and i personally pretty frequently think of the rule graph as a type system — not because i think we need to do much more to make it a type system, but as a way to describe its benefits and how to most effectively extend it