Thing Edit form: several thing types can now be selected at once. In this case, a type randomly chosen from selected ones will be assigned to each selected thing.
Thing Edit form: you can now double-click on thing type to apply the changes and close the form.