Add missing file TcValidity.lhs