added more matchers to the Spec traits and tested on several specifications