throw exception
add type matcher
add type matcher
add instance matcher