== C++ ==

variadic templates in  key, ks constructors
.get<TypeWrapper> in KeySet or is ContextualValue approach better?
