component/type: Type assertions aka less-broken `typeof`

Type assertions aka less-broken typeof

Original link and Wayback Machine link