Goal: Implement the built-in `Exclude<T, U>`. Exclude from `T` those types that are assignable to `U`. For example: Source challenge: https://github.com/type-challenges/type-challenges/tree/main/questions/00043-easy-exclude Reference explanation: https://github.com/ghaiklor/type-challenges-solutions/blob/main/en/easy-exclude.md