Xfailed tests for hygiene, etc.

Adding three tests. Two are for lambda-var and match-var hygiene, one is for issue 9737. All are currently ignore-test.