This sounds a lot like what FP nerds would just call “defining an algebra.” It’s the same sort of thing that leads to regular expressions, TypeScript’s type sys

This sounds a lot like what FP nerds would just call “defining an algebra.” It’s the same sort of thing that leads to regular expressions, TypeScript’s type system, BPF, and so on.