Merge pull request #35 from yonkeltron/master

Added HashOf contract to verify Hash<A,B> style constraints