Add Ind constructor to Ty. Now we can write UNatList.