added trivariant class

a trivariant is (a) invalid, (b) empty, or (c) one of its variadic types;
this new class is introduced to hold the result of a partial function