An optimization that converts "a IN (b)" into "a==b".  Seems to work, but needs
additional test cases.