Added a constant 'identified' in all traits headers that lacked one.
Add TypeSum metaprogram.
Replace all the init_stack overloads by a single variadic template.
Replace all constructors of Adapter with a single variadic constructor.