add dispatch ambiguities check, treat them as errors