Comment by couchand

I'm not convinced the distinction is valuable. Since you already have * and {} you don't really need two distinct variable types.