Add === and /== combinators

Got the idea from haskell's purecheck. Use these quite frequently.
Merge pull request #18 from MichaelXavier/equality-helper

Add === and /== combinators