Updated the case study page to change Cadl to TypeSpec and reference the recent article on the topic.