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