Add === and /== combinators

Got the idea from haskell's purecheck. Use these quite frequently.