EqualitySieve for single values.

This should resolve #2, #17, and #18. I need to get better about
breaking up my commits.