Implements the for_some checker
Merge pull request #25 from justinj/for_some_checker

Implements the for_some checker