Implemented type matcher