New type matcher that should not match on roots of hierarchies. Does not work though :-(