Alloyはスカラも集合も関係も統一的に扱う