I like this very much. 

One thing I’ve found is that NIP-XX can have multiple different, or partial implementations. How might we capture this?