Add missing file TcValidity.lhs

This should have been part of
  commit 97db0edc4e637dd61ec635d1f9b6b6dd25ad890c
  Re-engineer the ambiguity test for user type signatures