not sure if it does make sense since they aren’t intended to be invoked by themselves and pants will do typechecking via the rule graph. great question though, still thinking about it and whether there’s a way to merge the two type systems now lol