embed_type - wrapping types in C++
This is a C++ library I created to be able to wrap types while specifying - in compile-time - what operations, if any, are to be preserved, i.e., what homomophisms should be injected into the wrapping type. One can view it as a very flexible type alias system.
I issued this library as an informal proposal [...]