ADV/ADT is()/type()