Actually, I can make it a library solution right now. Just provide a template, which takes a symbolic representation of constness and a type and constructs the appropriately const type. And a template, which extracts the const-ness of a type. It's gonna look ugly, but it will work.
How ugly it can get, it is a keyword of its own, for single purpose! :)
