Equal implementation

[unional]

Here is another implementation of Equal that almost work.

Keeping it here for reference:

	BothNever<
		A,
		B,
		Then,
		Else,
		BothAny<
			A,
			B,
			Then,
			Else,
			And<
				IsSymbol<A>,
				IsSymbol<B>,
				Then,
				And<
					IsObject<A>,
					IsObject<B>,
					And<
						IsFunction<A>,
						IsFunction<B>,
						[A, B] extends [B, A] ? Then : Else,
						Properties<A> extends infer PA
							? Properties<B> extends infer PB
								? (<_>() => _ extends (PA & _) | _ ? 1 : 2) extends <_>() => _ extends (PB & _) | _ ? 1 : 2
									? [PA, PB] extends [A, B]
										? Then
										: Else
									: Else
								: never
							: never
					>,
					[A, B] extends [B, A] ? Then : Else
				>
			>
		>
	>