IsSameAs ArgumentConstraint

I edited this directly on the GitHub website - did not compile, run or test it in any way. I'm in an optimistic mood.