Add LiteralList and JoinUnion types

[benzaria]

Closes #904

Added:

• LiteralList a validator to check if a Tuple have exactly one of each member in given Union, No duplicate, Extras, or Less elements.
• JoinUnion join a union members with the given delimiter (default: ',').

Example:

type Union = 'a' | 'b' | 'c' | 'd';

declare function func<const T extends unknown[]>(x: LiteralList<T, Union>): typeof x;
const bar1 = ['b', 'd', 'a', 'c'] as const
const bar2 = ['a', 'b', 'c', 'c'] as const
const bar3 = ['a', 'b', 'c'] as const

func(bar1); // Fine
func(bar2); // Error: Type ['a', 'b', 'c', 'c'] is missing Properties: ['d']
func(bar3); // Error: Type ['a', 'b', 'c'] is not the required Length of: 4

Errors example