add instance matcher
add TypeMatcher
add exception matcher
add interface