type union and type sets, on the new pkg