Add: a couple of minor fixings or improvements to the handling of @TypeHolder<Type> types;
Add: a couple of minor fixings to type aliasing of variant types;