Improves verifiers which checks for a given amount of types in a given area.