- Added type hints to contains|iteratorbased.
- Rewrote all contains/2 goals such that they no longer take a Clojure
expression as an argument.