Put indexed data types in the right universes#2030

andreasabel merged 4 commits intomasteragda/agda-stdlib:masterfrom

large-indicesagda/agda-stdlib:large-indicesCopy head branch name to clipboard