Added type alias to constrain values to a set

[ajaychandran]

Fix for #133

[Iltotore]

What about something like:

type In[V <: Tuple] = V match
  case EmptyTuple => False
  case h *: t => StrictEqual[h] | In[t]

This would allow In[EmptyTuple]. Probably not useful in most of use cases but technically correct.

Can you add some tests too in AnySuite?

[ajaychandran]

This would allow In[EmptyTuple]. Probably not useful in most of use cases but technically correct.

Yes but I prefer Making Impossible States Impossible.

Will add tests.

[Iltotore]

I'd argue it's not an "impossible" state but just a case that will always return false. Nonetheless, it is easier to remove this "restriction" in the feature than adding it then realizing it was a bad call.

Let's keep your original implementation 👍