add Ind constructor to Ty. Now we can write UNatList