review spec of qualified types fixing #598