Variadic generics design sketch

[Jules-Bertholet]

@recatek

This can already be done with non-variadic types, I just want to make sure it's accounted for in the grammar for variadics as well.

I don't foresee any issues here.

---

I've expanded the HackMD's section on recursion, incorporating some insights from A madman's guide to variadic generics.