I hold the same critique as I did in the pitch thread:
I would much prefer this to be implemented as a struct, so that we have a single #context (or whatever) for all your context checking needs, rather than creating a bunch of separate # identifiers.