I… didn’t say I saw no value in types?

I meant that there was a culture shift around program language research that had given advances in syntax a permanent back seat.