> I don't understand what features they want to add beyond type lambda's, singleton types, and literals for bytes / shorts. We have more ideas on the table bey

> I don't understand what features they want to add beyond type lambda's, singleton types, and literals for bytes / shorts. We have more ideas on the table beyond these three, but Miles will go into more detail about these in his next blog post.