I love it. I'm not here to debate whether it should be there, but i like it nonetheless. Mostly because of the cute name. And i came from being a Python "kill

I love it. I'm not here to debate whether it should be there, but i like it nonetheless. Mostly because of the cute name. And i came from being a Python "kill all syntax!" zealot back in the day, hah. Funny how in both Types and Syntax i have migrated from minimalist to explicitness over the years. I was such a zealot on both fronts in those Python days.