improvements in explanation of type constraints