I think this a good idea generally, I think it makes sense in the ARC for the full ApplicationSpec which has yet to be drafted but the issue for discussion is here: Discussion: Extended Application Specification · Issue #118 · algorandfoundation/ARCs · GitHub
I PR’d a change to beaker to specify how to decode a given state value here: