type operator