Include examples of <script setup lang="ts"> in a Vue 3 props section

[chiubaca]

• https://twitter.com/youyuxi/status/1341177621502173191
• https://github.com/vuejs/rfcs/blob/sfc-improvements/active-rfcs/0000-sfc-script-setup.md#with-typescript