Update type-sets.html