Update and rename type-sets.html to index.html