typeOf and termOf