Type assertions aka less-broken `typeof`