contains(x,y) -> y in x
Merge pull request #51 from kmsquire/contains_fix

contains(x,y) -> y in x